Image coding method and device in image coding system

ABSTRACT

A method for decoding an image by a decoding device, according to the present document, comprises the steps of: acquiring image information; and generating a reconstructed picture on the basis of the image information.

BACKGROUND OF THE DISCLOSURE Field of the Disclosure

The present disclosure relates to image coding technology, and more particularly, to an image coding method and apparatus for coding residual information in an image coding system.

Related Art

Recently, demand for high-resolution, high-quality images, such as High Definition (HD) images and Ultra High Definition (UHD) images, has been increasing in various fields. As the image data has high resolution and high quality, the amount of information or bits to be transmitted increases relative to the legacy image data. Therefore, when image data is transmitted using a medium such as a conventional wired/wireless broadband line or image data is stored using an existing storage medium, the transmission cost and the storage cost thereof are increased.

Accordingly, there is a need for a highly efficient image compression technique for effectively transmitting, storing, and reproducing information of high-resolution and high-quality images.

SUMMARY

The present disclosure provides a method and an apparatus for increasing image coding efficiency.

The present disclosure provides a method and apparatus for increasing image coding efficiency by coding information on a residual coding structure.

According to one embodiment of the present disclosure, an image decoding method performed by a decoding apparatus is provided. The method includes obtaining image information and generating a reconstructed picture based on the image information.

According to another embodiment of the present disclosure, an image decoding apparatus for performing image decoding is provided. The decoding apparatus includes an entropy decoder obtaining image information and a residual processor generating a reconstructed picture based on the image information.

According to another embodiment of the present disclosure, a video encoding method performed by an encoding apparatus is provided. The method includes encoding image information and generating a bitstream including the image information.

According to another embodiment of the present disclosure, a video encoding apparatus is provided. The encoding apparatus may include an entropy encoder that encodes image information and generates a bitstream including the image information.

According to the present disclosure, it is possible to increase the efficiency of residual coding.

According to the present disclosure, it is possible determine a residual coding method of the residual information based on whether the residual information is lossless coding, derive a residual sample by selecting a residual coding method having better efficiency while reducing coding efficiency and complexity, and improve overall residual coding efficiency.

According to the present disclosure, it is possible to parse residual syntax elements for the transform skip block based on the residual coding method for the transform skip block and reduce the coding efficiency and complexity of the residual coding.

BRIEF DESCRIPTION OF THE DRAWINGS

FIG. 1 briefly illustrates an example of a video/image coding device to which embodiments of the present disclosure are applicable.

FIG. 2 is a schematic diagram illustrating a configuration of a video/image encoding apparatus to which the embodiment(s) of the present disclosure may be applied.

FIG. 3 is a schematic diagram illustrating a configuration of a video/image decoding apparatus to which the embodiment(s) of the present disclosure may be applied.

FIG. 4 illustrates an example of an intra prediction-based video/image encoding method.

FIG. 5 illustrates an example of an intra prediction-based video/image encoding method.

FIG. 6 schematically shows an intra prediction procedure.

FIG. 7 illustrates an example of an inter prediction-based video/image encoding method.

FIG. 8 illustrates an example of an inter prediction-based video/image decoding method.

FIG. 9 schematically shows an inter prediction procedure.

FIG. 10 exemplarily shows context-adaptive binary arithmetic coding (CABAC) for encoding a syntax element.

FIG. 11 is a diagram showing exemplary transform coefficients within a 4×4 block.

FIG. 12 briefly illustrates an image encoding method performed by an encoding apparatus according to the present disclosure.

FIG. 13 briefly illustrates an encoding apparatus for performing an image encoding method according to the present disclosure.

FIG. 14 briefly illustrates an image decoding method performed by a decoding apparatus according to the present disclosure.

FIG. 15 briefly illustrates a decoding apparatus for performing an image decoding method according to the present disclosure.

FIG. 16 illustrates a structural diagram of a contents streaming system to which the present disclosure is applied.

DESCRIPTION OF EXEMPLARY EMBODIMENTS

The present disclosure may be modified in various forms, and specific embodiments thereof will be described and illustrated in the drawings. However, the embodiments are not intended for limiting the disclosure. The terms used in the present disclosure are used to merely describe specific embodiments but are not intended to limit the present disclosure to specific embodiments. An expression of a singular number includes an expression of the plural number, so long as it is clearly read differently. The terms such as “include” and “have” are intended to indicate that features, numbers, steps, operations, elements, components, or combinations thereof used in the present disclosure exist and it should be thus understood that the possibility of existence or addition of one or more different features, numbers, steps, operations, elements, components, or combinations thereof is not excluded.

Meanwhile, elements in the drawings described in the disclosure are independently drawn for the purpose of convenience for explanation of different specific functions, and do not mean that the elements are embodied by independent hardware or independent software. For example, two or more elements of the elements may be combined to form a single element, or one element may be partitioned into plural elements. The embodiments in which the elements are combined and/or partitioned belong to the scope of the present disclosure.

The present disclosure relates to video/image coding. For example, the method/embodiment disclosed in the present disclosure may be applied to the method disclosed in the versatile video coding (VVC) standard. In addition, the method/embodiment disclosed in the present disclosure may be applied to the methods disclosed in an essential video coding (EVC) standard, an AOMedia Video 1 (AV1) standard, 2nd generation of audio video coding standard (AVS2), or a next-generation video/image coding standard (ex. H.267 or H.268, etc).

The present disclosure presents various embodiments related to video/image coding, and unless otherwise stated, the embodiments may be performed by being combined with each other.

In the present disclosure, a video may refer to a set of a series of images according to the passage of time. A picture generally refers to a unit representing one image in a specific time period, and a slice/tile is a unit constituting a part of a picture in coding. A slice/tile may include one or more coding tree units (CTUs). One picture may be constructed by one or more slices/tiles. A tile is a rectangular region of CTUs within a particular tile column and a particular tile row in a picture. The tile column is a rectangular region of CTUs having a height equal to the height of the picture and a width specified by syntax elements in the picture parameter set. The tile row is a rectangular region of CTUs having a height specified by syntax elements in the picture parameter set and a width equal to the width of the picture. A tile scan is a specific sequential ordering of CTUs partitioning a picture in which the CTUs are ordered consecutively in CTU raster scan in a tile whereas tiles in a picture are ordered consecutively in a raster scan of the tiles of the picture. A slice includes an integer number of complete tiles or an integer number of consecutive complete CTU rows within a tile of a picture that may be exclusively contained in a single NAL unit.

Meanwhile, one picture may be divided into two or more subpictures. The subpicture may be a rectangular region of one or more slices within a picture.

A pixel or pel may refer to a minimum unit constituting one picture (or image). Also, a “sample” may be used as a term corresponding to a pixel. A sample may generally represent a pixel or a value of a pixel, may represent only a pixel/pixel value of a luma component, or may represent only a pixel/pixel value of a chroma component.

A unit may represent a basic unit of image processing. The unit may include at least one of a specific region of a picture and information related to the region. One unit may include one luma block and two chroma (e.g., cb, cr) blocks. A unit may be used interchangeably with terms such as a block or an area in some cases. In a general case, an M×N block may include samples (or sample arrays) or a set (or arrays) of transform coefficients including M columns and N rows.

In the present disclosure, “A or B” may mean “only A”, “only B” or “both A and B”. In other words, “A or B” in the present disclosure may be interpreted as “A and/or B”. For example, in the present disclosure, “A, B, or C” means “only A”, “only B”, “only C”, or “any and any combination of A, B, and C”.

A slash (/) or comma (comma) used in the present disclosure may mean “and/or”. For example, “A/B” may mean “and/or B”. Accordingly, “A/B” may mean “only A”, “only B”, or “both A and B”. For example, “A, B, C” may mean “A, B, or C”.

In the present disclosure, “at least one of A and B” may mean “only A” “only B” or “both A and B”. Also, in the present disclosure, the expression “at least one of A or B” or “at least one of A and/or B” means may be interpreted equivalently to the expression “at least one of A and B”.

Also, in the present disclosure, “at least one of A, B, and C” means “only A”, “only B”, “only C”, or “any combination of A, B and C”. Also, “at least one of A, B, or C” or “at least one of A, B and/or C” means may mean “at least one of A, B, and C.”

Also, parentheses used in the present disclosure may mean “for example”. Specifically, when “prediction (intra-prediction)” is indicated, “intra-prediction” may be proposed as an example of “prediction.” In other words, “prediction” in the present disclosure is not limited to “intra-prediction,” and “intra-prediction” may be proposed as an example of “prediction.” In addition, when “prediction (intra-prediction)” is indicated, “intra-prediction” may be proposed as an example of “prediction.”

Technical features that are individually described within one drawing in the present disclosure may be implemented individually or may be implemented at the same time.

Hereinafter, embodiments of the present disclosure will be described with reference to the accompanying drawings. Hereinafter, the same reference numerals may be used for the same components in the drawings, and duplicate descriptions of the same components may be omitted

FIG. 1 briefly illustrates an example of a video/image coding device to which embodiments of the present disclosure are applicable.

Referring to FIG. 1 , a video/image coding system may include a first device (source device) and a second device (receiving device). The source device may deliver encoded video/image information or data in the form of a file or streaming to the receiving device via a digital storage medium or network.

The source device may include a video source, an encoding apparatus, and a transmitter. The receiving device may include a receiver, a decoding apparatus, and a renderer. The encoding apparatus may be called a video/image encoding apparatus, and the decoding apparatus may be called a video/image decoding apparatus. The transmitter may be included in the encoding apparatus. The receiver may be included in the decoding apparatus. The renderer may include a display, and the display may be configured as a separate device or an external component.

The video source may acquire video/image through a process of capturing, synthesizing, or generating the video/image. The video source may include a video/image capture device and/or a video/image generating device. The video/image capture device may include, for example, one or more cameras, video/image archives including previously captured video/images, and the like. The video/image generating device may include, for example, computers, tablets and smartphones, and may (electronically) generate video/images. For example, a virtual video/image may be generated through a computer or the like. In this case, the video/image capturing process may be replaced by a process of generating related data.

The encoding apparatus may encode input image/image. The encoding apparatus may perform a series of procedures such as prediction, transform, and quantization for compression and coding efficiency. The encoded data (encoded video/image information) may be output in the form of a bitstream.

The transmitter may transmit the encoded image/image information or data output in the form of a bitstream to the receiver of the receiving device through a digital storage medium or a network in the form of a file or streaming The digital storage medium may include various storage mediums such as USB, SD, CD, DVD, Blu-ray, HDD, SSD, and the like. The transmitter may include an element for generating a media file through a predetermined file format and may include an element for transmission through a broadcast/communication network. The receiver may receive/extract the bitstream and transmit the received bitstream to the decoding apparatus.

The decoding apparatus may decode the video/image by performing a series of procedures such as dequantization, inverse transform, and prediction corresponding to the operation of the encoding apparatus.

The renderer may render the decoded video/image. The rendered video/image may be displayed through the display.

FIG. 2 is a schematic diagram illustrating a configuration of a video/image encoding apparatus to which the embodiment(s) of the present disclosure may be applied. Hereinafter, the encoding apparatus may include an image encoding apparatus and/or a video encoding apparatus. Also, the image encoding method/device may include a video encoding method/device. Alternatively, the video encoding method/device may include an image encoding method/device.

Referring to FIG. 2 , the encoding apparatus 200 includes an image partitioner 210, a predictor 220, a residual processor 230, and an entropy encoder 240, an adder 250, a filter 260, and a memory 270. The predictor 220 may include an inter predictor 221 and an intra predictor 222. The residual processor 230 may include a transformer 232, a quantizer 233, a dequantizer 234, and an inverse transformer 235. The residual processor 230 may further include a subtractor 231. The adder 250 may be called a reconstructor or a reconstructed block generator. The image partitioner 210, the predictor 220, the residual processor 230, the entropy encoder 240, the adder 250, and the filter 260 may be configured by at least one hardware component (ex. An encoder chipset or processor) according to an embodiment. In addition, the memory 270 may include a decoded picture buffer (DPB) or may be configured by a digital storage medium. The hardware component may further include the memory 270 as an internal/external component.

The image partitioner 210 may partition an input image (or a picture or a frame) input to the encoding apparatus 200 into one or more processors. For example, the processor may be called a coding unit (CU). In this case, the coding unit may be recursively partitioned according to a quad-tree binary-tree ternary-tree (QTBTTT) structure from a coding tree unit (CTU) or a largest coding unit (LCU). For example, one coding unit may be partitioned into a plurality of coding units of a deeper depth based on a quad tree structure, a binary tree structure, and/or a ternary structure. In this case, for example, the quad tree structure may be applied first and the binary tree structure and/or ternary structure may be applied later. Alternatively, the binary tree structure may be applied first. The coding procedure according to the present disclosure may be performed based on the final coding unit that is no longer partitioned. In this case, the largest coding unit may be used as the final coding unit based on coding efficiency according to image characteristics, or if necessary, the coding unit may be recursively partitioned into coding units of deeper depth and a coding unit having an optimal size may be used as the final coding unit. Here, the coding procedure may include a procedure of prediction, transform, and reconstruction, which will be described later. As another example, the processor may further include a prediction unit (PU) or a transform unit (TU). In this case, the prediction unit and the transform unit may be split or partitioned from the aforementioned final coding unit. The prediction unit may be a unit of sample prediction, and the transform unit may be a unit for deriving a transform coefficient and/or a unit for deriving a residual signal from the transform coefficient.

The unit may be used interchangeably with terms such as block or area in some cases. In a general case, an M×N block may represent a set of samples or transform coefficients composed of M columns and N rows. A sample may generally represent a pixel or a value of a pixel, may represent only a pixel/pixel value of a luma component or represent only a pixel/pixel value of a chroma component. A sample may be used as a term corresponding to one picture (or image) for a pixel or a pel.

In the encoding apparatus 200, a prediction signal (predicted block, prediction sample array) output from the inter predictor 221 or the intra predictor 222 is subtracted from an input image signal (original block, original sample array) to generate a residual signal residual block, residual sample array), and the generated residual signal is transmitted to the transformer 232. In this case, as shown, a unit for subtracting a prediction signal (predicted block, prediction sample array) from the input image signal (original block, original sample array) in the encoder 200 may be called a subtractor 231. The predictor may perform prediction on a block to be processed (hereinafter, referred to as a current block) and generate a predicted block including prediction samples for the current block. The predictor may determine whether intra prediction or inter prediction is applied on a current block or CU basis. As described later in the description of each prediction mode, the predictor may generate various information related to prediction, such as prediction mode information, and transmit the generated information to the entropy encoder 240. The information on the prediction may be encoded in the entropy encoder 240 and output in the form of a bitstream.

The intra predictor 222 may predict the current block by referring to the samples in the current picture. The referred samples may be located in the neighborhood of the current block or may be located apart according to the prediction mode. In the intra prediction, prediction modes may include a plurality of non-directional modes and a plurality of directional modes. The non-directional mode may include, for example, a DC mode and a planar mode. The directional mode may include, for example, 33 directional prediction modes or 65 directional prediction modes according to the degree of detail of the prediction direction. However, this is merely an example, more or less directional prediction modes may be used depending on a setting. The intra predictor 222 may determine the prediction mode applied to the current block by using a prediction mode applied to a neighboring block.

The inter predictor 221 may derive a predicted block for the current block based on a reference block (reference sample array) specified by a motion vector on a reference picture. Here, in order to reduce the amount of motion information transmitted in the inter prediction mode, the motion information may be predicted in units of blocks, sub-blocks, or samples based on correlation of motion information between the neighboring block and the current block. The motion information may include a motion vector and a reference picture index. The motion information may further include inter prediction direction (L0 prediction, L1 prediction, Bi prediction, etc.) information. In the case of inter prediction, the neighboring block may include a spatial neighboring block present in the current picture and a temporal neighboring block present in the reference picture. The reference picture including the reference block and the reference picture including the temporal neighboring block may be the same or different. The temporal neighboring block may be called a collocated reference block, a co-located CU (colCU), and the like, and the reference picture including the temporal neighboring block may be called a collocated picture (colPic). For example, the inter predictor 221 may configure a motion information candidate list based on neighboring blocks and generate information indicating which candidate is used to derive a motion vector and/or a reference picture index of the current block. Inter prediction may be performed based on various prediction modes. For example, in the case of a skip mode and a merge mode, the inter predictor 221 may use motion information of the neighboring block as motion information of the current block. In the skip mode, unlike the merge mode, the residual signal may not be transmitted. In the case of the motion vector prediction (MVP) mode, the motion vector of the neighboring block may be used as a motion vector predictor and the motion vector of the current block may be indicated by signaling a motion vector difference.

The predictor 220 may generate a prediction signal based on various prediction methods described below. For example, the predictor may not only apply intra prediction or inter prediction to predict one block but also simultaneously apply both intra prediction and inter prediction. This may be called combined inter and intra prediction (CIIP). In addition, the predictor may be based on an intra block copy (IBC) prediction mode or a palette mode for prediction of a block. The IBC prediction mode or palette mode may be used for content image/video coding of a game or the like, for example, screen content coding (SCC). The IBC basically performs prediction in the current picture but may be performed similarly to inter prediction in that a reference block is derived in the current picture. That is, the IBC may use at least one of the inter prediction techniques described in the present disclosure. The palette mode may be considered as an example of intra coding or intra prediction. When the palette mode is applied, a sample value within a picture may be signaled based on information on the palette table and the palette index.

The prediction signal generated by the predictor (including the inter predictor 221 and/or the intra predictor 222) may be used to generate a reconstructed signal or to generate a residual signal. The transformer 232 may generate transform coefficients by applying a transform technique to the residual signal. For example, the transform technique may include at least one of a discrete cosine transform (DCT), a discrete sine transform (DST), a karhunen-loève transform (KLT), a graph-based transform (GBT), or a conditionally non-linear transform (CNT). Here, the GBT means transform obtained from a graph when relationship information between pixels is represented by the graph. The CNT refers to transform generated based on a prediction signal generated using all previously reconstructed pixels. In addition, the transform process may be applied to square pixel blocks having the same size or may be applied to blocks having a variable size rather than square.

The quantizer 233 may quantize the transform coefficients and transmit them to the entropy encoder 240 and the entropy encoder 240 may encode the quantized signal (information on the quantized transform coefficients) and output a bitstream. The information on the quantized transform coefficients may be referred to as residual information. The quantizer 233 may rearrange block type quantized transform coefficients into a one-dimensional vector form based on a coefficient scanning order and generate information on the quantized transform coefficients based on the quantized transform coefficients in the one-dimensional vector form. Information on transform coefficients may be generated. The entropy encoder 240 may perform various encoding methods such as, for example, exponential Golomb, context-adaptive variable length coding (CAVLC), context-adaptive binary arithmetic coding (CABAC), and the like. The entropy encoder 240 may encode information necessary for video/image reconstruction other than quantized transform coefficients (ex. values of syntax elements, etc.) together or separately. Encoded information (ex. encoded video/image information) may be transmitted or stored in units of NALs (network abstraction layer) in the form of a bitstream. The video/image information may further include information on various parameter sets such as an adaptation parameter set (APS), a picture parameter set (PPS), a sequence parameter set (SPS), or a video parameter set (VPS). In addition, the video/image information may further include general constraint information. In the present disclosure, information and/or syntax elements transmitted/signaled from the encoding apparatus to the decoding apparatus may be included in video/picture information. The video/image information may be encoded through the above-described encoding procedure and included in the bitstream. The bitstream may be transmitted over a network or may be stored in a digital storage medium. The network may include a broadcasting network and/or a communication network, and the digital storage medium may include various storage media such as USB, SD, CD, DVD, Blu-ray, HDD, SSD, and the like. A transmitter (not shown) transmitting a signal output from the entropy encoder 240 and/or a storage unit (not shown) storing the signal may be included as internal/external element of the encoding apparatus 200, and alternatively, the transmitter may be included in the entropy encoder 240.

The quantized transform coefficients output from the quantizer 233 may be used to generate a prediction signal. For example, the residual signal (residual block or residual samples) may be reconstructed by applying dequantization and inverse transform to the quantized transform coefficients through the dequantizer 234 and the inverse transformer 235. The adder 250 adds the reconstructed residual signal to the prediction signal output from the inter predictor 221 or the intra predictor 222 to generate a reconstructed signal (reconstructed picture, reconstructed block, reconstructed sample array). If there is no residual for the block to be processed, such as a case where the skip mode is applied, the predicted block may be used as the reconstructed block. The adder 250 may be called a reconstructor or a reconstructed block generator. The generated reconstructed signal may be used for intra prediction of a next block to be processed in the current picture and may be used for inter prediction of a next picture through filtering as described below.

Meanwhile, luma mapping with chroma scaling (LMCS) may be applied during picture encoding and/or reconstruction.

The filter 260 may improve subjective/objective image quality by applying filtering to the reconstructed signal. For example, the filter 260 may generate a modified reconstructed picture by applying various filtering methods to the reconstructed picture and store the modified reconstructed picture in the memory 270, specifically, a DPB of the memory 270. The various filtering methods may include, for example, deblocking filtering, a sample adaptive offset, an adaptive loop filter, a bilateral filter, and the like. The filter 260 may generate various information related to the filtering and transmit the generated information to the entropy encoder 240 as described later in the description of each filtering method. The information related to the filtering may be encoded by the entropy encoder 240 and output in the form of a bitstream.

The modified reconstructed picture transmitted to the memory 270 may be used as the reference picture in the inter predictor 221. When the inter prediction is applied through the encoding apparatus, prediction mismatch between the encoding apparatus 200 and the decoding apparatus 300 may be avoided and encoding efficiency may be improved.

The DPB of the memory 270 DPB may store the modified reconstructed picture for use as a reference picture in the inter predictor 221. The memory 270 may store the motion information of the block from which the motion information in the current picture is derived (or encoded) and/or the motion information of the blocks in the picture that have already been reconstructed. The stored motion information may be transmitted to the inter predictor 221 and used as the motion information of the spatial neighboring block or the motion information of the temporal neighboring block. The memory 270 may store reconstructed samples of reconstructed blocks in the current picture and may transfer the reconstructed samples to the intra predictor 222.

FIG. 3 is a schematic diagram illustrating a configuration of a video/image decoding apparatus to which the embodiment(s) of the present disclosure may be applied. Hereinafter, the decoding apparatus may include an image decoding apparatus and/or a video decoding apparatus. Also, the image decoding method/apparatus may include a video encoding method/apparatus. Alternatively, the video decoding method/apparatus may include an image decoding method/apparatus.

Referring to FIG. 3 , the decoding apparatus 300 may include an entropy decoder 310, a residual processor 320, a predictor 330, an adder 340, a filter 350, a memory 360. The predictor 330 may include an inter predictor 331 and an intra predictor 332. The residual processor 320 may include a dequantizer 321 and an inverse transformer 322. The entropy decoder 310, the residual processor 320, the predictor 330, the adder 340, and the filter 350 may be configured by a hardware component (ex. A decoder chipset or a processor) according to an embodiment. In addition, the memory 360 may include a decoded picture buffer (DPB) or may be configured by a digital storage medium. The hardware component may further include the memory 360 as an internal/external component.

When a bitstream including video/image information is input, the decoding apparatus 300 may reconstruct an image corresponding to a process in which the video/image information is processed in the encoding apparatus of FIG. 2 . For example, the decoding apparatus 300 may derive units/blocks based on block partition related information obtained from the bitstream. The decoding apparatus 300 may perform decoding using a processor applied in the encoding apparatus. Thus, the processor of decoding may be a coding unit, for example, and the coding unit may be partitioned according to a quad tree structure, binary tree structure and/or ternary tree structure from the coding tree unit or the largest coding unit. One or more transform units may be derived from the coding unit. The reconstructed image signal decoded and output through the decoding apparatus 300 may be reproduced through a reproducing apparatus.

The decoding apparatus 300 may receive a signal output from the encoding apparatus of FIG. 2 in the form of a bitstream, and the received signal may be decoded through the entropy decoder 310. For example, the entropy decoder 310 may parse the bitstream to derive information (ex. video/image information) necessary for image reconstruction (or picture reconstruction). The video/image information may further include information on various parameter sets such as an adaptation parameter set (APS), a picture parameter set (PPS), a sequence parameter set (SPS), or a video parameter set (VPS). In addition, the video/image information may further include general constraint information. The decoding apparatus may further decode picture based on the information on the parameter set and/or the general constraint information. Signaled/received information and/or syntax elements described later in the present disclosure may be decoded may decode the decoding procedure and obtained from the bitstream. For example, the entropy decoder 310 decodes the information in the bitstream based on a coding method such as exponential Golomb coding, CAVLC, or CABAC, and output syntax elements required for image reconstruction and quantized values of transform coefficients for residual. More specifically, the CABAC entropy decoding method may receive a bin corresponding to each syntax element in the bitstream, determine a context model using a decoding target syntax element information, decoding information of a decoding target block or information of a symbol/bin decoded in a previous stage, and perform an arithmetic decoding on the bin by predicting a probability of occurrence of a bin according to the determined context model, and generate a symbol corresponding to the value of each syntax element. In this case, the CABAC entropy decoding method may update the context model by using the information of the decoded symbol/bin for a context model of a next symbol/bin after determining the context model. The information related to the prediction among the information decoded by the entropy decoder 310 may be provided to the predictor (the inter predictor 332 and the intra predictor 331), and the residual value on which the entropy decoding was performed in the entropy decoder 310, that is, the quantized transform coefficients and related parameter information, may be input to the residual processor 320. The residual processor 320 may derive the residual signal (the residual block, the residual samples, the residual sample array). In addition, information on filtering among information decoded by the entropy decoder 310 may be provided to the filter 350. Meanwhile, a receiver (not shown) for receiving a signal output from the encoding apparatus may be further configured as an internal/external element of the decoding apparatus 300, or the receiver may be a component of the entropy decoder 310. Meanwhile, the decoding apparatus according to the present disclosure may be referred to as a video/image/picture decoding apparatus, and the decoding apparatus may be classified into an information decoder (video/image/picture information decoder) and a sample decoder (video/image/picture sample decoder). The information decoder may include the entropy decoder 310, and the sample decoder may include at least one of the dequantizer 321, the inverse transformer 322, the adder 340, the filter 350, the memory 360, the inter predictor 332, and the intra predictor 331.

The dequantizer 321 may dequantize the quantized transform coefficients and output the transform coefficients. The dequantizer 321 may rearrange the quantized transform coefficients in the form of a two-dimensional block form. In this case, the rearrangement may be performed based on the coefficient scanning order performed in the encoding apparatus. The dequantizer 321 may perform dequantization on the quantized transform coefficients by using a quantization parameter (ex. quantization step size information) and obtain transform coefficients.

The inverse transformer 322 inversely transforms the transform coefficients to obtain a residual signal (residual block, residual sample array).

The predictor may perform prediction on the current block and generate a predicted block including prediction samples for the current block. The predictor may determine whether intra prediction or inter prediction is applied to the current block based on the information on the prediction output from the entropy decoder 310 and may determine a specific intra/inter prediction mode.

The predictor 320 may generate a prediction signal based on various prediction methods described below. For example, the predictor may not only apply intra prediction or inter prediction to predict one block but also simultaneously apply intra prediction and inter prediction. This may be called combined inter and intra prediction (CIIP). In addition, the predictor may be based on an intra block copy (IBC) prediction mode or a palette mode for prediction of a block. The IBC prediction mode or palette mode may be used for content image/video coding of a game or the like, for example, screen content coding (SCC). The IBC basically performs prediction in the current picture but may be performed similarly to inter prediction in that a reference block is derived in the current picture. That is, the IBC may use at least one of the inter prediction techniques described in the present disclosure. The palette mode may be considered as an example of intra coding or intra prediction. When the palette mode is applied, a sample value within a picture may be signaled based on information on the palette table and the palette index.

The intra predictor 331 may predict the current block by referring to the samples in the current picture. The referred samples may be located in the neighborhood of the current block or may be located apart according to the prediction mode. In the intra prediction, prediction modes may include a plurality of non-directional modes and a plurality of directional modes. The intra predictor 331 may determine the prediction mode applied to the current block by using a prediction mode applied to a neighboring block.

The inter predictor 332 may derive a predicted block for the current block based on a reference block (reference sample array) specified by a motion vector on a reference picture. In this case, in order to reduce the amount of motion information transmitted in the inter prediction mode, motion information may be predicted in units of blocks, sub-blocks, or samples based on correlation of motion information between the neighboring block and the current block. The motion information may include a motion vector and a reference picture index. The motion information may further include inter prediction direction (L0 prediction, L1 prediction, Bi prediction, etc.) information. In the case of inter prediction, the neighboring block may include a spatial neighboring block present in the current picture and a temporal neighboring block present in the reference picture. For example, the inter predictor 332 may configure a motion information candidate list based on neighboring blocks and derive a motion vector of the current block and/or a reference picture index based on the received candidate selection information. Inter prediction may be performed based on various prediction modes, and the information on the prediction may include information indicating a mode of inter prediction for the current block.

The adder 340 may generate a reconstructed signal (reconstructed picture, reconstructed block, reconstructed sample array) by adding the obtained residual signal to the prediction signal (predicted block, predicted sample array) output from the predictor (including the inter predictor 332 and/or the intra predictor 331). If there is no residual for the block to be processed, such as when the skip mode is applied, the predicted block may be used as the reconstructed block.

The adder 340 may be called reconstructor or a reconstructed block generator. The generated reconstructed signal may be used for intra prediction of a next block to be processed in the current picture, may be output through filtering as described below, or may be used for inter prediction of a next picture.

Meanwhile, luma mapping with chroma scaling (LMCS) may be applied in the picture decoding process.

The filter 350 may improve subjective/objective image quality by applying filtering to the reconstructed signal. For example, the filter 350 may generate a modified reconstructed picture by applying various filtering methods to the reconstructed picture and store the modified reconstructed picture in the memory 360, specifically, a DPB of the memory 360. The various filtering methods may include, for example, deblocking filtering, a sample adaptive offset, an adaptive loop filter, a bilateral filter, and the like.

The (modified) reconstructed picture stored in the DPB of the memory 360 may be used as a reference picture in the inter predictor 332. The memory 360 may store the motion information of the block from which the motion information in the current picture is derived (or decoded) and/or the motion information of the blocks in the picture that have already been reconstructed. The stored motion information may be transmitted to the inter predictor 260 so as to be utilized as the motion information of the spatial neighboring block or the motion information of the temporal neighboring block. The memory 360 may store reconstructed samples of reconstructed blocks in the current picture and transfer the reconstructed samples to the intra predictor 331.

In the present disclosure, the embodiments described in the filter 260, the inter predictor 221, and the intra predictor 222 of the encoding apparatus 200 may be the same as or respectively applied to correspond to the filter 350, the inter predictor 332, and the intra predictor 331 of the decoding apparatus 300. The same may also apply to the unit 332 and the intra predictor 331.

In the present disclosure, at least one of quantization/inverse quantization and/or transform/inverse transform may be omitted. When the quantization/inverse quantization is omitted, the quantized transform coefficients may be called transform coefficients. When the transform/inverse transform is omitted, the transform coefficients may be called coefficients or residual coefficients, or may still be called transform coefficients for uniformity of expression.

In the present disclosure, a quantized transform coefficient and a transform coefficient may be referred to as a transform coefficient and a scaled transform coefficient, respectively. In this case, the residual information may include information on transform coefficient(s), and the information on the transform coefficient(s) may be signaled through residual coding syntax. Transform coefficients may be derived based on the residual information (or the information on the transform coefficient(s)), and scaled transform coefficients may be derived by inverse transforming (scaling) on the transform coefficients. Residual samples may be derived based on the inverse transforming (transforming) on the scaled transform coefficients. This may be applied/expressed in other parts of the present disclosure as well.

Meanwhile, as described above, in performing video coding, prediction is performed to improve compression efficiency. Through this, a predicted block including prediction samples for a current block as a block to be coded (i.e., a coding target block) may be generated. Here, the predicted block includes prediction samples in a spatial domain (or pixel domain) The predicted block is derived in the same manner in an encoding apparatus and a decoding apparatus, and the encoding apparatus may signal information (residual information) on residual between the original block and the predicted block, rather than an original sample value of an original block, to the decoding apparatus, thereby increasing image coding efficiency. The decoding apparatus may derive a residual block including residual samples based on the residual information, add the residual block and the predicted block to generate reconstructed blocks including reconstructed samples, and generate a reconstructed picture including the reconstructed blocks.

The residual information may be generated through a transform and quantization procedure. For example, the encoding apparatus may derive a residual block between the original block and the predicted block, perform a transform procedure on residual samples (residual sample array) included in the residual block to derive transform coefficients, perform a quantization procedure on the transform coefficients to derive quantized transform coefficients, and signal related residual information to the decoding apparatus (through a bit stream). Here, the residual information may include value information of the quantized transform coefficients, location information, a transform technique, a transform kernel, a quantization parameter, and the like. The decoding apparatus may perform dequantization/inverse transform procedure based on the residual information and derive residual samples (or residual blocks). The decoding apparatus may generate a reconstructed picture based on the predicted block and the residual block. Also, for reference for inter prediction of a picture afterward, the encoding apparatus may also dequantize/inverse-transform the quantized transform coefficients to derive a residual block and generate a reconstructed picture based thereon.

Intra prediction may refer to prediction that generates prediction samples for a current block based on reference samples in a picture to which the current block belongs (hereinafter, referred to as a current picture). When the intra prediction is applied to the current block, neighboring reference samples to be used for the intra prediction of the current block may be derived. The neighboring reference samples of the current block may include a sample adjacent to the left boundary of the current block of size nW×nH and a total of 2×nH samples adjacent to the bottom-left of the current block, a sample adjacent to the top boundary of the current block and a total of 2×nW samples adjacent to the top-right and a sample adjacent to the top-left of the current block. Alternatively, the neighboring reference samples of the current block may include a plurality of columns of top neighboring samples and a plurality of rows of left neighboring samples. In addition, the neighboring reference samples of the current block may include a total of nH samples adjacent to the right boundary of the current block of size nW×nH, a total of nW samples adjacent to the bottom boundary of the current block and a sample adjacent to the bottom-right of the current block.

However, some of the neighboring reference samples of the current block have not yet been decoded or may not be available. In this case, the decoder may construct neighboring reference samples to be used for prediction by substituting unavailable samples with available samples. Alternatively, neighboring reference samples to be used for prediction may be configured through interpolation of available samples.

When the neighboring reference samples are derived, (i) a prediction sample may be derived based on the average or interpolation of neighboring reference samples of the current block, or (ii) the prediction sample may be derived based on a reference sample existing in a specific (prediction) direction with respect to a prediction sample among the neighboring reference samples of the current block. The case of (i) may be called a non-directional mode or a non-angular mode, and the case of (ii) may be called a directional mode or an angular mode.

In addition, the prediction sample may be generated through interpolation of a first neighboring sample located in the prediction direction of the intra prediction mode of the current block based on the prediction sample of the current block and a second neighboring sample located in a direction opposite to the prediction direction among the neighboring reference samples. The above-described case may be referred to as linear interpolation intra prediction (LIP). In addition, chroma prediction samples may be generated based on the luma samples using a linear model (LM). This case may be called an LM mode or a chroma component LM (CCLM) mode.

In addition, a temporary prediction sample of the current block is derived based on the filtered neighboring reference samples, and a prediction sample of the current block may also be derived by weighted summing the temporary prediction sample and at least one reference sample derived according to the intra prediction mode among the existing neighboring reference samples, that is, unfiltered neighboring reference samples. The above-described case may be referred to as position dependent intra prediction (PDPC).

In addition, a reference sample line with the highest prediction accuracy among neighboring multiple reference sample lines of the current block is selected, and a prediction sample is derived using a reference sample located in the prediction direction in the selected line. In this case, intra prediction encoding may be performed by indicating (signaling) the used reference sample line to the decoding apparatus. The above-described case may be referred to as multi-reference line intra prediction or MRL-based intra prediction.

In addition, the current block is divided into vertical or horizontal sub-partitions and intra prediction is performed based on the same intra prediction mode, but neighboring reference samples may be derived and used in units of the sub-partitions. That is, in this case, the intra prediction mode for the current block is equally applied to the sub-partitions, but the intra prediction performance may be improved in some cases by deriving and using the neighboring reference samples in units of the sub-partitions. This prediction method may be called intra-prediction based on intra sub-partitions (ISP).

The above-described intra prediction methods may be called intra prediction types to be distinguished from the intra prediction mode. The intra prediction types may be referred to by various terms such as intra prediction technique or additional intra prediction modes. For example, the intra prediction types (or additional intra prediction modes, etc.) may include at least one of the aforementioned LIP, PDPC, MRL, and ISP. A general intra prediction method excluding a specific intra prediction type such as LIP, PDPC, MRL, and ISP may be referred to as a normal intra prediction type. The normal intra prediction type may be generally applied when the above specific intra prediction type is not applied, and prediction may be performed based on the above-described intra prediction mode. Meanwhile, if necessary, post-processing filtering may be performed on the derived prediction sample.

Specifically, the intra prediction process may include an intra prediction mode/type determination step, neighboring reference samples derivation step, and an intra prediction mode/type based prediction sample derivation step. In addition, if necessary, a post-filtering step may be performed on the derived prediction sample.

FIG. 4 illustrates an example of an intra prediction-based video/image encoding method.

Referring to FIG. 4 , the encoding device performs intra prediction on the current block S400. The encoding device derives an intra prediction mode/type for the current block, derives neighboring reference samples of the current block, generates prediction samples in the current block based on the intra prediction mode/type and the neighboring reference samples. Here, the intra prediction mode/type determination, neighboring reference samples derivation, and prediction samples generation procedures may be performed simultaneously, or one procedure may be performed before another procedure. The encoding device may determine a mode/type applied to the current block from among a plurality of intra prediction modes/types. The encoding device may compare RD costs for the intra prediction mode/types and determine an optimal intra prediction mode/type for the current block.

Meanwhile, the encoding device may perform a prediction sample filtering procedure. The prediction sample filtering may be referred to as post filtering. Some or all of the prediction samples may be filtered by the prediction sample filtering procedure. In some cases, the prediction sample filtering procedure may be omitted.

The encoding device generates residual samples for the current block based on the (filtered) prediction samples S410. The encoding device may compare the prediction samples in the original samples of the current block based on the phase and derive the residual samples.

The encoding device may encode image information including information on the intra prediction (prediction information) and residual information on the residual samples S420. The prediction information may include the intra prediction mode information and the intra prediction type information. The encoding device may output encoded image information in the form of a bitstream. The output bitstream may be transmitted to the decoding device through a storage medium or a network.

The residual information may include residual coding syntax, which will be described later. The encoding device may transform/quantize the residual samples to derive quantized transform coefficients. The residual information may include information on the quantized transform coefficients.

Meanwhile, as described above, the encoding device may generate a reconstructed picture (including reconstructed samples and reconstructed blocks). To this end, the encoding device may derive (modified) residual samples by performing inverse quantization/inverse transformation on the quantized transform coefficients again. The reason for performing the inverse quantization/inverse transformation again after transforming/quantizing the residual samples in this way is to derive the same residual samples as the residual samples derived in the decoding device as described above. The encoding device may generate a reconstructed block including reconstructed samples for the current block based on the prediction samples and the (modified) residual samples. A reconstructed picture for the current picture may be generated based on the reconstructed block. As described above, an in-loop filtering procedure may be further applied to the reconstructed picture.

FIG. 5 illustrates an example of an intra prediction-based video/image encoding method.

The decoding device may perform an operation corresponding to the operation performed by the encoding apparatus.

Prediction information and residual information may be obtained from a bitstream. Residual samples for the current block may be derived based on the residual information. Specifically, transform coefficients may be derived by performing inverse quantization based on the quantized transform coefficients derived based on the residual information, residual samples for the current block may be derived by performing inverse transform on the transform coefficients.

Specifically, the decoding device may derive the intra prediction mode/type for the current block based on the received prediction information (intra prediction mode/type information) S500. The decoding device may derive neighboring reference samples of the current block S510. The decoding device generates prediction samples in the current block based on the intra prediction mode/type and the neighboring reference samples S520. In this case, the decoding device may perform a prediction sample filtering procedure. The Predictive sample filtering may be referred to as post filtering. Some or all of the prediction samples may be filtered by the prediction sample filtering procedure. In some cases, the prediction sample filtering procedure may be omitted.

The decoding device generates residual samples for the current block based on the received residual information S530. The decoding device may generate reconstructed samples for the current block based on the prediction samples and the residual samples, and may derive a reconstructed block including the reconstructed samples S540. A reconstructed picture for the current picture may be generated based on the reconstructed block. As described above, an in-loop filtering procedure may be further applied to the reconstructed picture.

The intra prediction mode information may include, for example, flag information (ex. intra_luma_mpm_flag) indicating whether MPM (most probable mode) is applied to the current block or whether a remaining mode is applied, and, when the MPM is applied to the current block, the prediction mode information may further include index information (e.g., intra_luma_mpm_idx) indicating one of the intra prediction mode candidates (MPM candidates). The intra prediction mode candidates (MPM candidates) may be constructed of an MPM candidate list or an MPM list. In addition, when the MPM is not applied to the current block, the intra prediction mode information includes remaining mode information (ex. intra_luma_mpm_remainder) indicating one of the remaining intra prediction modes except for the intra prediction mode candidates (MPM candidates). The decoding device may determine the intra prediction mode of the current block based on the intra prediction mode information.

Also, the intra prediction type information may be implemented in various forms. For example, the intra prediction type information may include intra prediction type index information indicating one of the intra prediction types. As another example, the intra prediction type information may include at least one of reference sample line information (ex. intra_luma_ref_idx) representing whether the MRL is applied to the current block and, if applied, which reference sample line is used, ISP flag information representing whether the ISP is applied to the current block (ex. intra_subpartitions_mode_flag), ISP type information indicating a split type of subpartitions when the ISP is applied (ex. intra_subpartitions_split_flag), flag information representing whether the PDPC is applied or flag information representing whether the LIP is applied. Also, the intra prediction type information may include a MIP flag representing whether matrix-based intra prediction (MIP) is applied to the current block.

The intra prediction mode information and/or the intra prediction type information may be encoded/decoded through a coding method described in the present disclosure. For example, the intra prediction mode information and/or the intra prediction type information may be encoded/decoded through entropy coding (e.g., CABAC, CAVLC).

FIG. 6 schematically shows an intra prediction procedure.

Referring to FIG. 6 , as described above, the intra prediction procedure may include a step of determinating an intra prediction mode/type, a step of deriving neighboring reference samples, and a step of performing intra prediction (generating a prediction sample). The intra prediction procedure may be performed by the encoding device and the decoding device as described above. In the present disclosure, a coding device may include the encoding device and/or the decoding device.

Referring to FIG. 6 , the coding device determines an intra prediction mode/type S600.

The encoding device may determine an intra prediction mode/type applied to the current block from among the various intra prediction modes/types described above, and may generate prediction related information. The prediction related information may include intra prediction mode information representing an intra prediction mode applied to the current block and/or intra prediction type information representing an intra prediction type applied to the current block. The decoding device may determine an intra prediction mode/type applied to the current block based on the prediction related information.

The intra prediction mode information may include, for example, flag information (ex. intra_luma_mpm_flag) representing whether a most probable mode (MPM) is applied to the current block or a remaining mode is applied, and the When the MPM is applied to the current block, the prediction mode information may further include index information (e.g., intra_luma_mpm_idx) indicating one of the intra prediction mode candidates (MPM candidates). The intra prediction mode candidates (MPM candidates) may be constructed of an MPM candidate list or an MPM list. In addition, when the MPM is not applied to the current block, the intra prediction mode information may further include remaining mode information (ex. intra_luma_mpm_remainder) indicating one of the remaining intra prediction modes except for the intra prediction mode candidates (MPM candidates). The decoding device may determine the intra prediction mode of the current block based on the intra prediction mode information.

In addition, the intra prediction type information may be implemented in various forms. For example, the intra prediction type information may include intra prediction type index information indicating one of the intra prediction types. As another example, the intra prediction type information may include at least one of reference sample line information (ex. intra_luma_ref_idx) representing whether the MRL is applied to the current block and, if applied, which reference sample line is used, ISP flag information representing whether the ISP is applied to the current block (ex. intra_subpartitions_mode_flag), ISP type information indicating a split type of subpartitions when the ISP is applied (ex. intra_subpartitions_split_flag), flag information representing whether the PDPC is applied or flag information representing whether the LIP is applied. Also, the intra prediction type information may include a MIP flag representing whether matrix-based intra prediction (MIP) is applied to the current block.

For example, when intra prediction is applied, an intra prediction mode applied to the current block may be determined using an intra prediction mode of a neighboring block. For example, the coding device may select one of most probable mode (MPM) candidates in the MPM list derived based on additional candidate modes and/or an intra prediction mode of the neighboring block (e.g., the left and/or top neighboring block) of the current block, or select one of the remaining intra prediction modes not included in the MPM candidates (and planar mode) based on the MPM remainder information (remaining intra prediction mode information). The MPM list may be configured to include or not include the planner mode as a candidate. For example, when the MPM list includes a planner mode as a candidate, the MPM list may have 6 candidates, and when the MPM list does not include a planner mode as a candidate, the MPM list may have 5 candidates. When the MPM list does not include the planar mode as a candidate, a not planar flag (ex. intra_luma_not_planar_flag) representing whether the intra prediction mode of the current block is not the planar mode may be signaled. For example, the MPM flag may be signaled first, and the MPM index and not planner flag may be signaled when the value of the MPM flag is 1. Also, the MPM index may be signaled when the value of the not planner flag is 1. Here, the fact that the MPM list is configured not to include the planner mode as a candidate is that the planner mode is always considered as MPM rather than that the planner mode is not MPM, thus, the flag (not planar flag) is signaled first to check whether it is the planar mode.

For example, whether the intra prediction mode applied to the current block is among the MPM candidates (and the planar mode) or the remaining modes may be indicated based on the MPM flag (e.g., intra_luma_mpm_flag). The MPM flag with a value of 1 may indicate that the intra prediction mode for the current block is within MPM candidates (and planar mode), and The MPM flag with a value of 0 may indicate that the intra prediction mode for the current block is not within MPM candidates (and planar mode). The not planar flag (ex. intra_luma_not_planar_flag) with a value of 0 may indicate that the intra prediction mode for the current block is a planar mode, and the not planar flag with a value of 1 may indicate that the intra prediction mode for the current block is not the planar mode. The MPM index may be signaled in the form of an mpm_idx or intra_luma_mpm_idx syntax element, and the remaining intra prediction mode information may be signaled in the form of a rem_intra_luma_pred_mode or intra_luma_mpm_remainder syntax element. For example, the remaining intra prediction mode information may indicate one of the remaining intra prediction modes not included in the MPM candidates (and planar mode) among all intra prediction modes by indexing in the order of prediction mode number. The intra prediction mode may be an intra prediction mode for a luma component (sample). Hereinafter, the intra prediction mode information may include at least one of the MPM flag (ex. intra_luma_mpm_flag), the not planar flag (ex. intra_luma_not_planar_flag), the MPM index (ex. mpm_idx or intra_luma_mpm_idx), or the remaining intra prediction mode information (rem_intra_luma_luma_mpm_mode or intra_luma_mpminder). In the present disclosure, the MPM list may be referred to by various terms such as an MPM candidate list and candModeList.

When the MIP is applied to the current block, a separate MPM flag (ex. intra_mip_mpm_flag) for the MIP, an MPM index (ex. intra_mip_mpm_idx), and remaining intra prediction mode information (ex. intra_mip_mpm_remainder) may be signaled, and the not planar flag may not be signaled.

In other words, in general, when a block partition for an image is performed, the current block to be coded and a neighboring block have similar image characteristics. Therefore, there is a high probability that the current block and the neighboring block have the same or similar intra prediction mode. Accordingly, the encoder may use the intra prediction mode of the neighboring block to encode the intra prediction mode of the current block.

The coding device may construct a most probable modes (MPM) list for the current block. The MPM list may be referred to as the MPM candidate list. Here, the MPM may refer to modes used to improve coding efficiency in consideration of the similarity between the current block and the neighboring blocks during intra prediction mode coding. As described above, the MPM list may be constructed to include the planar mode, or may be constructed to exclude the planar mode. For example, when the MPM list includes the planar mode, the number of candidates in the MPM list may be 6. And, when the MPM list does not include the planar mode, the number of candidates in the MPM list may be 5.

The encoding device may perform prediction based on various intra prediction modes, and may determine an optimal intra prediction mode based on rate-distortion optimization (RDO) based thereon. In this case, the encoding device may determine the optimal intra prediction mode by using only the MPM candidates and planar mode configured in the MPM list, or by further using the remaining intra prediction modes as well as the MPM candidates and planar mode configured in the MPM list. Specifically, for example, if the intra prediction type of the current block is a specific type (ex. LIP, MRL, or ISP) other than the normal intra prediction type, the encoding device may determine the optimal intra prediction mode by considering only the MPM candidates and the planar mode as intra prediction mode candidates for the current block. That is, in this case, the intra prediction mode for the current block may be determined only from among the MPM candidates and the planar mode, and in this case, encoding/signaling of the MPM flag may not be performed. In this case, the decoding device may infer that the MPM flag is 1 without separately signaling the MPM flag.

Meanwhile, in general, when the intra prediction mode of the current block is not the planar mode and is one of the MPM candidates in the MPM list, the encoding device generates an MPM index (mpm idx) indicating one of the MPM candidates. when the intra prediction mode of the current block is not included in the MPM list, the encoding device generates MPM reminder information (remaining intra prediction mode information) indicating the same mode as the intra prediction mode of the current block among the remaining intra prediction modes not included in the MPM list (and planar mode). The MPM reminder information may include, for example, an intra_luma_mpm_remainder syntax element.

The decoding device obtains intra prediction mode information from the bitstream. As described above, the intra prediction mode information may include at least one of an MPM flag, a not planner flag, an MPM index, and MPM remaster information (remaining intra prediction mode information). The decoding device may construct the MPM list. The MPM list is constructed the same as the MPM list constructed in the encoding device. That is, the MPM list may include intra prediction modes of neighboring blocks, or may further include specific intra prediction modes according to a predetermined method.

The decoding device may determine the intra prediction mode of the current block based on the MPM list and the intra prediction mode information. For example, when the value of the MPM flag is 1, the decoding device may derive the planar mode as the intra prediction mode of the current block (based on not planar flag) or derive the candidate indicated by the MPM index from among the MPM candidates in the MPM list as the intra prediction mode of the current block. Here, the MPM candidates may represent only candidates included in the MPM list, or may include not only candidates included in the MPM list but also the planar mode applicable when the value of the MPM flag is 1.

As another example, when the value of the MPM flag is 0, the decoding device may derive an intra prediction mode indicated by the remaining intra prediction mode information (which may be referred to as mpm remainder information) among the remaining intra prediction modes not included in the MPM list and the planner mode as the intra prediction mode of the current block. Meanwhile, as another example, when the intra prediction type of the current block is a specific type (ex. LIP, MRL or ISP, etc.), the decoding device may derive a candidate indicated by the MPM flag in the planar mode or the MPM list as the intra prediction mode of the current block without parsing/decoding/checking the MPM flag.

The coding device derives neighboring reference samples of the current block S610. When intra prediction is applied to the current block, the neighboring reference samples to be used for the intra prediction of the current block may be derived. The neighboring reference samples of the current block may include a sample adjacent to the left boundary of the current block of size nW×nH and a total of 2×nH samples adjacent to the bottom-left of the current block, a sample adjacent to the top boundary of the current block and a total of 2×nW samples adjacent to the top-right and a sample adjacent to the top-left of the current block. Alternatively, the neighboring reference samples of the current block may include a plurality of columns of top neighboring samples and a plurality of rows of left neighboring samples. In addition, the neighboring reference samples of the current block may include a total of nH samples adjacent to the right boundary of the current block of size nW×nH, a total of nW samples adjacent to the bottom boundary of the current block and a sample adjacent to the bottom-right of the current block.

On the other hand, when the MRL is applied (that is, when the value of the MRL index is greater than 0), the neighboring reference samples may be located on lines 1 to 2 instead of line 0 adjacent to the current block on the left/top side, and in this case, the number of the neighboring reference samples may be further increased. Meanwhile, when the ISP is applied, the neighboring reference samples may be derived in units of sub-partitions.

The coding device derives prediction samples by performing intra prediction on the current block S620. The coding device may derive the prediction samples based on the intra prediction mode/type and the neighboring samples. The coding device may derive a reference sample according to an intra prediction mode of the current block among neighboring reference samples of the current block, and may derive a prediction sample of the current block based on the reference sample.

Meanwhile, when inter prediction is applied, the predictor of the encoding apparatus/decoding apparatus may derive prediction samples by performing inter prediction in units of blocks. The inter prediction may be applied when performing the prediction on the current block. That is, the predictor (more specifically, inter predictor) of the encoding/decoding apparatus may derive prediction samples by performing the inter prediction in units of the block. The inter prediction may represent prediction derived by a method dependent to the data elements (e.g., sample values or motion information) of a picture(s) other than the current picture. When the inter prediction is applied to the current block, a predicted block (prediction sample array) for the current block may be derived based on a reference block (reference sample array) specified by the motion vector on the reference picture indicated by the reference picture index. In this case, in order to reduce an amount of motion information transmitted in the inter-prediction mode, the motion information of the current block may be predicted in units of a block, a subblock, or a sample based on a correlation of the motion information between the neighboring block and the current block. The motion information may include the motion vector and the reference picture index. The motion information may further include inter-prediction type (L0 prediction, L1 prediction, Bi prediction, etc.) information. In the case of applying the inter prediction, the neighboring block may include a spatial neighboring block which is present in the current picture and a temporal neighboring block which is present in the reference picture. A reference picture including the reference block and a reference picture including the temporal neighboring block may be the same as each other or different from each other. The temporal neighboring block may be referred to as a name such as a collocated reference block, a collocated CU (colCU), etc., and the reference picture including the temporal neighboring block may be referred to as a collocated picture (colPic). For example, a motion information candidate list may be configured based on the neighboring blocks of the current block and a flag or index information indicating which candidate is selected (used) may be signaled in order to derive the motion vector and/or reference picture index of the current block. The inter prediction may be performed based on various prediction modes and for example, in the case of a skip mode and a merge mode, the motion information of the current block may be the same as the motion information of the selected neighboring block. In the case of the skip mode, the residual signal may not be transmitted unlike the merge mode. In the case of a motion vector prediction (MVP) mode, the motion vector of the selected neighboring block may be used as a motion vector predictor and a motion vector difference may be signaled. In this case, the motion vector of the current block may be derived by using a sum of the motion vector predictor and the motion vector difference.

The motion information may further include L0 motion information and/or L1 motion information according to the inter-prediction type (L0 prediction, L1 prediction, Bi prediction, etc.). A L0-direction motion vector may be referred to as an L0 motion vector or MVL0 and an L1-direction motion vector may be referred to as an L1 motion vector or MVL1. A prediction based on the L0 motion vector may be referred to as an L0 prediction, a prediction based on the L1 motion vector may be referred to as an L1 prediction, and a prediction based on both the L0 motion vector and the L1 motion vector may be referred to as a bi-prediction. Here, the L0 motion vector may indicate a motion vector associated with a reference picture list L0 and the L1 motion vector may indicate a motion vector associated with a reference picture list L1. The reference picture list L0 may include pictures prior to the current picture in an output order and the reference picture list L1 may include pictures subsequent to the current picture in the output order, as the reference pictures. The prior pictures may be referred to as a forward (reference) picture and the subsequent pictures may be referred to as a reverse (reference) picture. The reference picture list L0 may further include the pictures subsequent to the current picture in the output order as the reference pictures. In this case, the prior pictures may be first indexed in the reference picture list L0 and the subsequent pictures may then be indexed. The reference picture list L1 may further include the pictures prior to the current picture in the output order as the reference pictures. In this case, the subsequent pictures may be first indexed in the reference picture list L1 and the prior pictures may then be indexed. Here, the output order may correspond to a picture order count (POC) order.

A video/image encoding process based on inter prediction may schematically include, for example, the following.

FIG. 7 illustrates an example of an inter prediction-based video/image encoding method.

The encoding apparatus performs the inter prediction for the current block (S700). The encoding apparatus may derive the inter prediction mode and the motion information of the current block and generate the prediction samples of the current block. Here, an inter prediction mode determining process, a motion information deriving process, and a generation process of the prediction samples may be simultaneously performed and any one process may be performed earlier than other process. For example, the inter-prediction unit of the encoding apparatus may include a prediction mode determination unit, a motion information derivation unit, and a prediction sample derivation unit, and the prediction mode determination unit may determine the prediction mode for the current block, the motion information derivation unit may derive the motion information of the current block, and the prediction sample derivation unit may derive the prediction samples of the current block. For example, the inter-prediction unit of the encoding apparatus may search a block similar to the current block in a predetermined area (search area) of reference pictures through motion estimation and derive a reference block in which a difference from the current block is minimum or is equal to or less than a predetermined criterion. A reference picture index indicating a reference picture at which the reference block is positioned may be derived based thereon and a motion vector may be derived based on a difference in location between the reference block and the current block. The encoding apparatus may determine a mode applied to the current block among various prediction modes. The encoding apparatus may compare RD cost for the various prediction modes and determine an optimal prediction mode for the current block.

For example, when the skip mode or the merge mode is applied to the current block, the encoding apparatus may configure a merging candidate list to be described below and derive a reference block in which a difference from the current block is minimum or is equal to or less than a predetermined criterion among reference blocks indicated by merge candidates included in the merging candidate list. In this case, a merge candidate associated with the derived reference block may be selected and merge index information indicating the selected merge candidate may be generated and signaled to the decoding apparatus. The motion information of the current block may be derived by using the motion information of the selected merge candidate.

As another example, when an (A)MVP mode is applied to the current block, the encoding apparatus may configure an (A)MVP candidate list to be described below and use a motion vector of a selected mvp candidate among motion vector predictor (mvp) candidates included in the (A)MVP candidate list as the mvp of the current block. In this case, for example, the motion vector indicating the reference block derived by the motion estimation may be used as the motion vector of the current block and an mvp candidate having a motion vector with a smallest difference from the motion vector of the current block among the mvp candidates may become the selected mvp candidate. A motion vector difference (MVD) which is a difference obtained by subtracting the mvp from the motion vector of the current block may be derived. In this case, the information on the MVD may be signaled to the decoding apparatus. Further, when the (A)MVP mode is applied, the value of the reference picture index may be configured as reference picture index information and separately signaled to the decoding apparatus.

The encoding apparatus may derive the residual samples based on the predicted samples (S710). The encoding apparatus may derive the residual samples by comparing original samples and the prediction samples of the current block.

The encoding apparatus encodes image information including prediction information and residual information (S720). The encoding apparatus may output the encoded image information in the form of a bitstream. The prediction information may include information on prediction mode information (e.g., skip flag, merge flag or mode index, etc.) and information on motion information as information related to the prediction procedure. The information on the motion information may include candidate selection information (e.g., merge index, mvp flag or mvp index) which is information for deriving the motion vector. Further, the information on the motion information may include the information on the MVD and/or the reference picture index information. Further, the information on the motion information may include information indicating whether to apply the L0 prediction, the L1 prediction, or the bi-prediction. The residual information is information on the residual samples. The residual information may include information on quantized transform coefficients for the residual samples.

An output bitstream may be stored in a (digital) storage medium and transferred to the decoding apparatus or transferred to the decoding apparatus via the network.

Meanwhile, as described above, the encoding apparatus may generate a reconstructed picture (including reconstructed samples and reconstructed blocks) based on the reference samples and the residual samples. This is to derive the same prediction result as that performed by the decoding apparatus, and as a result, coding efficiency may be increased. Accordingly, the encoding apparatus may store the reconstruction picture (or reconstruction samples or reconstruction blocks) in the memory and utilize the reconstruction picture as the reference picture. The in-loop filtering process may be further applied to the reconstruction picture as described above.

A video/image decoding process based on inter prediction may schematically include, for example, the following.

FIG. 8 illustrates an example of an inter prediction-based video/image decoding method.

Referring to FIG. 8 , the decoding apparatus may perform an operation corresponding to the operation performed by the encoding apparatus. The decoding apparatus may perform the prediction for the current block based on received prediction information and derive the prediction samples.

Specifically, the decoding apparatus may determine the prediction mode for the current block based on the received prediction information (S800). The decoding apparatus may determine which inter prediction mode is applied to the current block based on the prediction mode information in the prediction information.

For example, it may be determined whether the merge mode or the (A)MVP mode is applied to the current block based on the merge flag. Alternatively, one of various inter prediction mode candidates may be selected based on the mode index. The inter prediction mode candidates may include a skip mode, a merge mode, and/or an (A)MVP mode or may include various inter prediction modes to be described below.

The decoding apparatus derives the motion information of the current block based on the determined inter prediction mode (S810). For example, when the skip mode or the merge mode is applied to the current block, the decoding apparatus may configure the merge candidate list to be described below and select one merge candidate among the merge candidates included in the merge candidate list. Here, the selection may be performed based on the selection information (merge index). The motion information of the current block may be derived by using the motion information of the selected merge candidate. The motion information of the selected merge candidate may be used as the motion information of the current block.

As another example, when an (A)MVP mode is applied to the current block, the decoding apparatus may configure an (A)MVP candidate list to be described below and use a motion vector of a selected mvp candidate among motion vector predictor (mvp) candidates included in the (A)MVP candidate list as the mvp of the current block. Here, the selection may be performed based on the selection information (mvp flag or mvp index). In this case, the MVD of the current block may be derived based on the information on the MVD, and the motion vector of the current block may be derived based on the mvp of the current block and the MVD. Further, the reference picture index of the current block may be derived based on the reference picture index information. The picture indicated by the reference picture index in the reference picture list for the current block may be derived as the reference picture referred for the inter prediction of the current block.

Meanwhile, as described below, the motion information of the current block may be derived without a candidate list configuration and in this case, the motion information of the current block may be derived according to a procedure disclosed in the prediction mode. In this case, the candidate list configuration may be omitted.

The decoding apparatus may generate the prediction samples for the current block based on the motion information of the current block (S820). In this case, the reference picture may be derived based on the reference picture index of the current block and the prediction samples of the current block may be derived by using the samples of the reference block indicated by the motion vector of the current block on the reference picture. In this case, in some cases, a predicted sample filtering procedure for all or some of the prediction samples of the current block may be further performed.

For example, the inter-prediction unit of the decoding apparatus may include a prediction mode determination unit, a motion information derivation unit, and a prediction sample derivation unit, and the prediction mode determination unit may determine the prediction mode for the current block based on the received prediction mode information, the motion information derivation unit may derive the motion information (the motion vector and/or reference picture index) of the current block based on the information on the received motion information, and the prediction sample derivation unit may derive the predicted samples of the current block.

The decoding apparatus generates the residual samples for the current block based on the received residual information (S830). The decoding apparatus may generate the reconstruction samples for the current block based on the prediction samples and the residual samples and generate the reconstruction picture based on the generated reconstruction samples (S840). Thereafter, the in-loop filtering procedure may be further applied to the reconstruction picture as described above.

FIG. 9 schematically shows an inter prediction procedure.

Referring to FIG. 9 , as described above, the inter prediction process may include an inter prediction mode determination step, a motion information derivation step according to the determined prediction mode, and a prediction processing (prediction sample generation) step based on the derived motion information. The inter prediction process may be performed by the encoding apparatus and the decoding apparatus as described above. In this document, a coding device may include the encoding apparatus and/or the decoding apparatus.

Referring to FIG. 9 , the coding apparatus determines an inter prediction mode for the current block (S900). Various inter prediction modes may be used for the prediction of the current block in the picture. For example, various modes, such as a merge mode, a skip mode, a motion vector prediction (MVP) mode, an affine mode, a subblock merge mode, a merge with MVD (MMVD) mode, and a historical motion vector prediction (HMVP) mode may be used. A decoder side motion vector refinement (DMVR) mode, an adaptive motion vector resolution (AMVR) mode, a bi-prediction with CU-level weight (BCW), a bi-directional optical flow (BDOF), and the like may be further used as additional modes. The affine mode may also be referred to as an affine motion prediction mode. The MVP mode may also be referred to as an advanced motion vector prediction (AMVP) mode. In the present document, some modes and/or motion information candidates derived by some modes may also be included in one of motion information-related candidates in other modes. For example, the HMVP candidate may be added to the merge candidate of the merge/skip modes, or also be added to an mvp candidate of the MVP mode. If the HMVP candidate is used as the motion information candidate of the merge mode or the skip mode, the HMVP candidate may be referred to as the HMVP merge candidate.

The prediction mode information indicating the inter prediction mode of the current block may be signaled from the encoding apparatus to the decoding apparatus. In this case, the prediction mode information may be included in the bitstream and received by the decoding apparatus. The prediction mode information may include index information indicating one of multiple candidate modes. Alternatively, the inter prediction mode may be indicated through a hierarchical signaling of flag information. In this case, the prediction mode information may include one or more flags. For example, whether to apply the skip mode may be indicated by signaling a skip flag, whether to apply the merge mode may be indicated by signaling a merge flag when the skip mode is not applied, and it is indicated that the MVP mode is applied or a flag for additional distinguishing may be further signaled when the merge mode is not applied. The affine mode may be signaled as an independent mode or signaled as a dependent mode on the merge mode or the MVP mode. For example, the affine mode may include an affine merge mode and an affine MVP mode.

The coding apparatus derives motion information for the current block (S910). Motion information derivation may be derived based on the inter prediction mode.

The coding apparatus may perform inter prediction using motion information of the current block. The encoding apparatus may derive optimal motion information for the current block through a motion estimation procedure. For example, the encoding apparatus may search a similar reference block having a high correlation in units of a fractional pixel within a predetermined search range in the reference picture by using an original block in an original picture for the current block and derive the motion information through the searched reference block. The similarity of the block may be derived based on a difference of phase based sample values. For example, the similarity of the block may be calculated based on a sum of absolute differences (SAD) between the current block (or a template of the current block) and the reference block (or the template of the reference block). In this case, the motion information may be derived based on a reference block having a smallest SAD in a search area. The derived motion information may be signaled to the decoding apparatus according to various methods based on the inter prediction mode.

The coding apparatus performs inter prediction based on motion information for the current block (S920). The coding apparatus may derive prediction sample(s) for the current block based on the motion information. A current block including prediction samples may be referred to as a predicted block.

Meanwhile, as described above, the encoding apparatus may perform various encoding methods such as exponential Golomb, context-adaptive variable length coding (CAVLC), and context-adaptive binary arithmetic coding (CABAC). In addition, the decoding apparatus may decode information in a bitstream based on a coding method such as exponential Golomb coding, CAVLC or CABAC, and output a value of a syntax element required for image reconstruction and quantized values of transform coefficients related to residuals.

For example, the coding methods described above may be performed as described below.

FIG. 10 exemplarily shows context-adaptive binary arithmetic coding (CABAC) for encoding a syntax element. For example, in the CABAC encoding process, when an input signal is a syntax element, rather than a binary value, the encoding apparatus may convert the input signal into a binary value by binarizing the value of the input signal. In addition, when the input signal is already a binary value (i.e., when the value of the input signal is a binary value), binarization may not be performed and may be bypassed. Here, each binary number 0 or 1 constituting a binary value may be referred to as a bin. For example, if a binary string after binarization is 110, each of 1, 1, and 0 is called one bin. The bin(s) for one syntax element may indicate a value of the syntax element.

Thereafter, the binarized bins of the syntax element may be input to a regular coding engine or a bypass coding engine. The regular coding engine of the encoding apparatus may allocate a context model reflecting a probability value to the corresponding bin, and may encode the corresponding bin based on the allocated context model. The regular coding engine of the encoding apparatus may update a context model for each bin after performing encoding on each bin. A bin encoded as described above may be referred to as a context-coded bin.

Meanwhile, when the binarized bins of the syntax element are input to the bypass coding engine, they may be coded as follows. For example, the bypass coding engine of the encoding apparatus omits a procedure of estimating a probability with respect to an input bin and a procedure of updating a probability model applied to the bin after encoding. When bypass encoding is applied, the encoding apparatus may encode the input bin by applying a uniform probability distribution instead of allocating a context model, thereby improving an encoding rate. The bin encoded as described above may be referred to as a bypass bin.

Entropy decoding may represent a process of performing the same process as the entropy encoding described above in reverse order.

For example, when a syntax element is decoded based on a context model, the decoding apparatus may receive a bin corresponding to the syntax element through a bitstream, determine a context model using the syntax element and decoding information of a decoding target block or a neighbor block or information of a symbol/bin decoded in a previous stage, predict an occurrence probability of the received bin according to the determined context model, and perform an arithmetic decoding on the bin to derive a value of the syntax element. Thereafter, a context model of a bin which is decoded next may be updated with the determined context model.

Also, for example, when a syntax element is bypass-decoded, the decoding apparatus may receive a bin corresponding to the syntax element through a bitstream, and decode the input bin by applying a uniform probability distribution. In this case, the procedure of the decoding apparatus for deriving the context model of the syntax element and the procedure of updating the context model applied to the bin after decoding may be omitted.

As described above, residual samples may be derived as quantized transform coefficients through transform and quantization processes. The quantized transform coefficients may also be referred to as transform coefficients. In this case, the transform coefficients in a block may be signaled in the form of residual information. The residual information may include a residual coding syntax. That is, the encoding apparatus may configure a residual coding syntax with residual information, encode the same, and output it in the form of a bitstream, and the decoding apparatus may decode the residual coding syntax from the bitstream and derive residual (quantized) transform coefficients. The residual coding syntax may include syntax elements representing whether transform was applied to the corresponding block, a location of a last effective transform coefficient in the block, whether an effective transform coefficient exists in the subblock, a size/sign of the effective transform coefficient, and the like, as will be described later.

For example, the (quantized) transformation coefficients (i.e., the residual information) may be encoded and/or decoded based on syntax elements such as transform_skip_flag, last_sig_coeff_x_prefix, last_sig_coeff_y_prefix, last_sig_coeff_x_suffix, last_sig_coeff_y_suffix, coded_sub_block_flag, sig_coeff_flag, par_level_flag, abs_level_gt1_flag, abs_level_gt3_flag, abs_remainder, coeff_sign_flag, dec_abs_level, mts_idx. Syntax elements related to residual data encoding/decoding may be represented as shown in the following table.

TABLE 1 Descriptor residual_coding( x0, y0, log2TbWidth, log2TbHeight, cIdx ) {  if( transform_skip_enabled_flag && ( cIdx ! = 0 | | tu_mts_flag[ x0 ][ y0 ] = = 0 ) &&   ( log2TbWidth <= 2 ) && ( log2TbHeight <= 2 ) )   transform_skip_flag[ x0 ][ y0 ][ cIdx ] ae(v)  last_sig_coeff_x_prefix ae(v)  last_sig_coeff_y_prefix ae(v)  if( last_sig_coeff_x_prefix > 3 )   last_sig_coeff_x_suffix ae(v)  if( last_sig_coeff_y_prefix > 3 )   last_sig_coeff_y_suffix ae(v)  log2SbSize = ( Min( log2TbWidth, log2TbHeight ) < 2 ? 1 : 2 )  numSbCoeff = 1 << ( log2SbSize << 1 )  lastScanPos = numSbCoeff  lastSubBlock = ( 1 << ( log2TbWidth + log2TbHeight − 2 * log2SbSize ) ) − 1  do {   if( lastScanPos = = 0 ) {    lastScanPos − numSbCoeff    lastSubBlock− −   }   lastScanPos− −   xS − DiagScanOrder[ log2TbWidth − log2SbSize ][ log2TbHeight − log2SbSize ]          [ lastSubBlock ][ 0 ]   yS − DiagScanOrder[ log2TbWidth − log2SbSize ][ log2TbHeight − log2SbSize ]          [ lastSubBlock ][ 1 ]   xC − ( xS << log2SbSize ) +     DiagScanOrder[ log2SbSize ][ log2SbSize ][ lastScanPos ][ 0 ]   yC − ( yS << log2SbSize ) +     DiagScanOrder[ log2SbSize ][ log2SbSize ][ lastScanPos ][ 1 ]  } while( ( xC !− LastSignificantCoeffX ) | | ( yC !− LastSignificantCoeffY ) )  numSigCoeff = 0  QState = 0  for( i = lastSubBlock; i >= 0; i− − ) {   startQStateSb = QState   xS − DiagScanOrder[ log2TbWidth − log2SbSize ][ log2TbHeight − log2SbSize ]          [ lastSubBlock ][ 0 ]   yS = DiagScanOrder[ log2TbWidth − log2SbSize ][ log2TbHeight − log2SbSize ]          [ lastSubBlock ][ 1 ]   inferSbDcSigCoeffFlag = 0       if( ( i < lastSubBlock ) && ( i > 0 ) ) {        coded_sub_block_flag[ xS ][ yS ] ae(v)        inferSbDcSigCoeffFlag = 1       }       firstSigScanPosSb = numSbCoeff       lastSigScanPosSb = −1       remBinsPass1 = ( log2SbSize < 2 ? 6 : 28 )       remBinsPass2 = ( log2SbSize < 2 ? 2 : 4 )       firstPosMode0 = ( i = = lastSubBlock ? lastScanPos − 1 : numSbCoeff − 1 )       firstPosMode1 = −1       firstPosMode2 = −1       for( n = ( i = = firstPosMode0; n >= 0 && remBinsPass1 >= 3; n− − ) {        xC = ( xS << log2SbSize ) + DiagScanOrder[ log2SbSize ][ log2SbSize ][ n ][ 0 ]        yC = ( yS << log2SbSize ) + DiagScanOrder[ log2SbSize ][ log2SbSize ][ n ][ 1 ]        if( coded_sub_block_flag[ xS ][ yS ] && ( n > 0 | | !inferSbDcSigCoeffFlag ) ) {         sig_coeff_flag[ xC ][ yC ] ae(v)         remBinsPass1− −         if( sig_coeff_flag[ xC ][ yC ] )          inferSbDcSigCoeffFlag = 0        }        if( sig_coeff_flag[ xC ][ yC ] ) {         numSigCoeff+ +         abs_level_gt1_flag[ n ] ae(v)         remBinsPass1− −         if( abs_level_gt1_flag[ n ] ) {          par_level_flag[ n ] ae(v)          remBinsPass1− −          if( remBinsPass2 > 0 ) {           remBinsPass2           if( remBinsPass2 = = 0 )            firstPosMode1 = n − 1          }         }         if( lastSigScanPosSb = = −1 )          lastSigScanPosSb = n         firstSigScanPosSb = n        }        AbsLevelPass1[ xC ][ yC ] =          sig_coeff_flag[ xC ][ yC ] + par_level_flag[ n ] + abs_level_gt1_flag[ n ]        if( dep_quant_enabled_flag )         QState = QStateTransTable[ QState ][ AbsLevelPass1[ xC ][ yC ] & 1 ]        if( remBinsPass1 < 3 )         firstPosMode2 = n − 1       }       if( firstPosMode1 < firstPosMode2 )        firstPosMode1 = firstPosMode2       for( n = numSbCoeff − 1; n >= firstPosMode2; n− − )        if( abs_level_gt1_flag[ n ] )         abs_level_gt3_flag[ n ] ae(v)       for( n = numSbCoeff − 1; n >− firstPosMode1; n− − ) {        xC = ( xS << log2SbSize ) + DiagScanOrder[ log2SbSize ][ log2SbSize ][ n ][ 0 ]        yC = ( yS << log2SbSize ) + DiagScanOrder[ log2SbSize ][ log2SbSize ][ n ][ 1 ]        if( abs_level_gt3_flag[ n ] )         abs_remainder[ n ] ae(v)        AbsLevel[ xC ][ yC ] = AbsLevelPass1[ xC ][ yC ] +              2 * ( abs_level_st3_flag[ n ] + abs_remainder[ n ] )       }       for( n = firstPosMode1; n > firstPosMode2; n− − ) {        xC = ( xS << log2SbSize ) + DiagScanOrder[ log2SbSize ][ log2SbSize ][ n ][ 0 ]        yC = ( yS << log2SbSize ) + DiagScanOrder[ log2SbSize ][ log2SbSize ][ n ][ 1 ]        if( abs_level_gt1_flag[ n ] )         abs_remainder[ n ] ae(v)        AbsLevel[ xC ][ yC ] = AbsLevelPass1[ xC ][ yC ] + 2 * abs_remainder[ n ]       }       for( n − firstPosMode2; n >− 0; n− − ) {        xC = ( xS << log2SbSize ) + DiagScanOrder[ log2SbSize ][ log2SbSize ][ n ][ 0 ]        yC = ( yS << log2SbSize ) + DiagScanOrder[ log2SbSize ][ log2SbSize ][ n ][ 1 ]        dec_abs_level[ n ] ae(v)        if(AbsLevel[ xC ][ yC ] > 0 )         firstSigScanPosSb − n        if( dep_quant_enabled_flag )         QState = QStateTransTable[ QState ][ AbsLevel[ xC ][ yC ] & 1 ]       }       if( dep_quant_enabled_flag | | !sign_data_hiding_enabled_flag )        signHidden = 0       else        signHidden = ( lastSigScanPosSb − firstSigScanPosSb > 3 ? 1 : 0 )       for( n = numSbCoeff − 1; n >= 0; n− − ) {        xC − ( xS << log2SbSize ) + DiagScanOrder[ log2SbSize ][ log2SbSize ][ n ][ 0 ]        yC = ( yS << log2SbSize ) + DiagScanOrder[ log2SbSize ][ log2SbSize ][ n ][ 1 ]        if( sig_coeff_flag[ xC ][ yC ] &&         ( !signHidden | | ( n !− firstSigScanPosSb ) ) )         coeff_sign_flag[ n ] ae(v)       }       if( dep_quant_enabled_flag ) {        QState = startQStateSb        for( n = numSbCoeff − 1; n >= 0; n− − ) {         xC = ( xS << log2SbSize ) +           DiagScanOrder[ log2SbSize ][ log2SbSize ][ n ][ 0 ]         yC = ( yS << log2SbSize ) +           DiagScanOrder[ log2SbSize ][ log2SbSize ][ n ][ 1 ]         if( sig_coeff_flag[ xC ][ yC ] )          TransCoeffLevel[ x0 ][ y0 ][ cIdx ][ xC ][ yC ] =            ( 2 * AbsLevel[ xC ][ yC ] − ( QState > 1 ? 1 : 0 ) ) *            ( 1 − 2 * coeff_sign_flag[ n ] )         QState = QStateTransTable[ QState ][ par_level_flag[ n ] ]       } else {        sumAbsLevel = 0        for( n = numSbCoeff − 1; n >= 0; n− − ) {         xC = ( xS << log2SbSize ) +           DiagScanOrder[ log2SbSize ][ log2SbSize ][ n ][ 0 ]         yC = ( yS << log2SbSize ) +           DiagScanOrder[ log2SbSize ][ log2SbSize ][ n ][ 1 ]         if( sig_coeff_flag[ xC ][ yC ] ) {          TransCoeffLevel[ x0 ][ y0 ][ cIdx ][ xC ][ yC ] =            AbsLevel[ xC ][ yC ] * ( 1 − 2 * coeff_sign_flag[ n ] )          if( signHidden ) {           sumAbsLevel += AbsLevel[ xC ][ yC ]           if( ( n = = firstSigScanPosSb ) && ( sumAbsLevel % 2 ) = = 1 ) )            TransCoeffLevel[ x0 ][ y0 ][ cIdx ][ xC ][ yC ] =             −TransCoeffLevel[ x0 ][ y0 ][ cIdx ][ xC ][ yC ]          }         }        }       }      }      if( tu_mts_flag[ x0 ][ y0 ] && ( cIdx = = 0 ) )       mts_idx[ x0 ][ y0 ][ cIdx ] ae(v)     }

transform_skip_flag indicates whether transform is skipped in an associated block. The transform_skip_flag may be a syntax element of a transform skip flag. The associated block may be a coding block (CB) or a transform block (TB). Regarding transform (and quantization) and residual coding procedures, CB and TB may be used interchangeably. For example, as described above, residual samples may be derived for CB, and (quantized) transform coefficients may be derived through transform and quantization for the residual samples, and through the residual coding procedure, information (e.g., syntax elements) efficiently indicating a position, magnitude, sign, etc. of the (quantized) transform coefficients may be generated and signaled. The quantized transform coefficients may simply be called transform coefficients. In general, when the CB is not larger than a maximum TB, a size of the CB may be the same as a size of the TB, and in this case, a target block to be transformed (and quantized) and residual coded may be called a CB or a TB. Meanwhile, when the CB is greater than the maximum TB, a target block to be transformed (and quantized) and residual coded may be called a TB. Hereinafter, it will be described that syntax elements related to residual coding are signaled in units of transform blocks (TBs) but this is an example and the TB may be used interchangeably with coding blocks (CBs as described above.

Meanwhile, syntax elements which are signaled after the transform skip flag is signaled may be the same as the syntax elements disclosed in Table 2 below, and detailed descriptions on the syntax elements are described below.

TABLE 2 Descriptor transform_unit( x0, y0, tbWidth, tbHeight, treeType, subTuIndex, chType ) {  if( IntraSubPartitionsSplitType != ISP_NO_SPLIT &&    treeType = = SINGLE_TREE && subTuIndex = = NumIntraSubPartiti ons − 1 ) {   xC = CbPosX[ chType ][ x0 ][ y0 ]   yC = CbPosY[ chType ][ x0 ][ y0 ]   wC = CbWidth[ chType ][ x0 ][ y0 ] / SubWidthC   hC = CbHeight[ chType ][ x0 ][ y0 ] / SubHeightC  } else {   xC = x0   yC = y0   wC = tbWidth / SubWidthC   hC = tbHeight / SubHeightC  }  chromaAvailable = treeType != DUAL_TREE_LUMA && sps_chroma_form at_idc != 0 &&   ( IntraSubPartitionsSplitType = = ISP_NO_SPLIT | |   ( IntraSubPartitionsSplitType != ISP_NO_SPLIT &&   subTuIndex = = NumIntraSubPartitions − 1 ) )  if( ( treeType = = SINGLE_TREE | | treeType = = DUAL_TREE_CHROM A ) &&    sps_chroma_format_idc != 0 &&    ( ( IntraSubPartitionsSplitType = = ISP_NO_SPLIT && !( cu_sbt_flag &&    ( ( subTuIndex = = 0 && cu_sbt_pos_flag ) | |    ( subTuIndex = = 1 && !cu_sbt_pos_flag ) ) ) ) | |    ( IntraSubPartitionsSplitType != ISP_NO_SPLIT &&    ( subTuIndex = = NumIntraSubPartitions − 1 ) ) ) ) {   tu_cb_coded_flag[ xC ][ yC ] ae(v)   tu_cr_coded_flag[ xC ][ yC ] ae(v)  }      if( treeType = = SINGLE_TREE | | treeType = = DUAL_TREE_LUMA ) {       if( ( IntraSubPartitionsSplitType = = ISP_NO_SPLIT && !( cu_sbt_flag &     &         ( ( subTuIndex = = 0 && cu_sbt_pos_flag ) | |         ( subTuIndex = = 1 && !cu_sbt_pos_flag ) ) ) &&         ( ( CuPredMode[ chType ][ x0 ][ y0 ] = = MODE_INTRA &&         !cu_act_enabled_flag[ x0 ][ y0 ] ) | |         ( chromaAvailable && ( tu_cb_coded_flag[ xC ][ yC ] | |         tu_cr_coded_flag[ xC ][ yC ] ) ) | |         CbWidth[ chType ][ x0 ][ y0 ] > MaxTbSizeY | |         CbHeight[ chType ][ x0 ][ y0 ] > MaxTbSizeY ) ) | |         ( IntraSubPartitionsSplitType != ISP_NO_SPLIT &&         ( subTuIndex < NumIntraSubPartitions − 1 | | !InferTuCbfLuma ) ) )        tu_y_coded_flag[ x0 ][ y0 ] ae(v)       if(IntraSubPartitionsSplitType != ISP_NO_SPLIT )        InferTuCbfLuma = InferTuCbfLuma && !tu_y_coded_flag[ x0 ][ y0 ]      }      if( ( CbWidth[ chType ][ x0 ][ y0 ] > 64 | | CbHeight[ chType ][ x0 ][ y     0 ] > 64 | |        tu_y_coded_flag[ x0 ][ y0 ] | | ( chromaAvailable && ( tu_cb_coded_flag     [ xC ][ yC ] | |        tu_cr_coded_flag[ xC ][ yC ] ) ) && treeType != DUAL_TREE_CHRO     MA &&        pps_cu_qp_delta_enabled_flag && !IsCuQpDeltaCoded ) {       cu_qp_delta_abs ae(v)       if( cu_qp_delta_abs )        cu_qp_delta_sign_flag ae(v)      }      if( ( CbWidth[ chType ][ x0 ][ y0 ] > 64 | | CbHeight[ chType ][ x0 ][ y     0 ] > 64 | |        ( chromaAvailable && ( tu_cb_coded_flag[ xC ][ yC ] | |        tu_cr_coded_flag[ xC ][ yC ] ) ) ) &&        treeType != DUAL_TREE_LUMA && sh_cu_chroma_qp_offset_enable     d_flag &&        !IsCuChromaQpOffsetCoded ) {       cu_chroma_qp_offset_flag ae(v)       if( cu_chroma_qp_offset_flag && pps_chroma_qp_offset_list_len_minus1 >     0 )        cu_chroma_qp_offset_idx ae(v)      }      if( sps_joint_cbcr_enabled_flag && ( ( CuPredMode[ chType ][ x0 ][ y0 ] = =     MODE_INTRA        && ( tu_cb_coded_flag[ xC ][ yC ] | | tu_cr_coded_flag[ xC ][ yC ] ) ) | |        ( tu_cb_coded_flag[ xC ][ yC ] && tu_cr_coded_flag[ xC ][ yC ] ) ) &&        chromaAvailable )       tu_joint_cbcr_residual_flag[ xC ][ yC ] ae(v)      if( tu_y_coded_flag[ x0 ][ y0 ] && treeType != DUAL_TREE_CHROMA ) {       if( sps_transform_skip_enabled_flag && !BdpcmFlag[ x0 ][ y0 ][ 0 ] &&         tbWidth <= MaxTsSize && tbHeight <= MaxTsSize &&         ( IntraSubPartitionsSplitType = = ISP_NO_SPLIT ) && !cu_sbt_flag )        transform_skip_flag[ x0 ][ y0 ][ 0 ] ae(v)       if( !transform_skip_flag[ x0 ][ y0 ][ 0 ] | | sh_ts_residual_coding_disabled_fla     g )         residual_coding( x0, y0, Log2( tbWidth ), Log2( tbHeight ), 0 )       else        residual_ts_coding( x0, y0, Log2( tbWidth ), Log2( tbHeight ), 0 )      }      if( tu_cb_coded_flag[ xC ][ yC ] && treeType != DUAL_TREE_LUMA ) {       if( sps_transform_skip_enabled_flag && !BdpcmFlag[ x0 ][ y0 ][ 1 ] &&         wC <= MaxTsSize && hC <= MaxTsSize && !cu_sbt_flag )        transform_skip_flag[ xC ][ yC ][ 1 ] ae(v)       if( !transform_skip_flag[ xC ][ yC ][ 1 ] | | sh_ts_residual_coding_disabled_fl     ag )        residual_coding( xC, yC, Log2( wC ), Log2( hC ), 1 )       else        residual_ts_coding( xC, yC, Log2( wC ), Log2( hC ), 1 )      }      if( tu_cr_coded_flag[ xC ][ yC ] && treeType != DUAL_TREE_LUMA &&        !( tu_cb_coded_flag[ xC ][ yC ] && tu_joint_cbcr_residual_flag[ xC ][ y     C ] ) ) {       if( sps_transform_skip_enabled_flag && !BdpcmFlag[ x0 ][ y0 ][ 2 ] &&         wC <= MaxTsSize && hC <= MaxTsSize && !cu_sbt_flag )        transform_skip_flag[ xC ][ yC ][ 2 ] ae(v)       if( !transform_skip_flag[ xC ][ yC ][ 2 ] | | sh_ts_residual_coding_disabled_fl     ag )        residual_coding( xC, yC, Log2( wC ), Log2( hC ), 2 )       else        residual_ts_coding( xC, yC, Log2( wC ), Log2( hC ), 2 )      }     }

TABLE 3 Descriptor residual_coding( x0, y0, log2TbWidth, log2TbHeight, cIdx ) {  if( sps_mts_enabled_flag && cu_sbt_flag && cIdx = = 0 &&    log2TbWidth = = 5 && log2TbHeight < 6 )   log2ZoTbWidth = 4  else   log2ZoTbWidth = Min( log2TbWidth, 5 )  if( sps_mts_enabled_flag && cu_sbt_flag && cIdx = = 0 &&    log2TbWidth < 6 && log2TbHeight = = 5 )   log2ZoTbHeight = 4  else   log2ZoTbHeight = Min( log2TbHeight, 5 )  if( log2TbWidth > 0 )   last_sig_coeff_x_prefix ae(v)  if( log2TbHeight > 0 )   last_sig_coeff_y_prefix ae(v)  if( last_sig_coeff_x_prefix > 3 )   last_sig_coeff_x_suffix ae(v)  if( last_sig_coeff_y_prefix > 3 )   last_sig_coeff_y_suffix ae(v)  log2TbWidth = log2ZoTbWidth  log2TbHeight = log2ZoTbHeight  remBinsPass1 = ( ( 1 << ( log2TbWidth + log2TbHeight ) ) * 7 ) >> 2  log2SbW = ( Min( log2TbWidth, log2TbHeight ) < 2 ? 1 : 2 )  log2SbH = log2SbW  if( log2TbWidth + log2TbHeight > 3 )   if( log2TbWidth < 2 ) {    log2SbW = log2TbWidth    log2SbH = 4 − log2SbW   } else if( log2TbHeight < 2 ) {    log2SbH = log2TbHeight    log2SbW = 4 − log2SbH   }  numSbCoeff = 1 << ( log2SbW + log2SbH )  lastScanPos = numSbCoeff  lastSubBlock = ( 1 << ( log2TbWidth + log2TbHeight − ( log2SbW + log2Sb H ) ) ) − 1      do {       if( lastScanPos = = 0 ) {        lastScanPos = numSbCoeff        lastSubBlock− −       }       lastScanPos− −       xS = DiagScanOrder[ log2TbWidth − log2SbW ][ log2TbHeight − log2SbH ]            [ lastSubBlock ][ 0 ]       yS = DiagScanOrder[ log2TbWidth − log2SbW ][ log2TbHeight − log2SbH ]            [ lastSubBlock ][ 1 ]       xC = ( xS << log2SbW ) + DiagScanOrder[ log2SbW ][ log2SbH ][ lastScan     Pos ][ 0 ]       yC = ( yS << log2SbH ) + DiagScanOrder[ log2SbW ][ log2SbH ][ lastScan     Pos ][ 1 ]      } while( ( xC != LastSignificantCoeffX ) | | ( yC != LastSignificantCoeffY )     )      if( lastSubBlock = = 0 && log2TbWidth >= 2 && log2TbHeight >= 2 &     &        !transform_skip_flag[ x0 ][ y0 ][ cIdx ] && lastScanPos > 0 )       LfnstDcOnly = 0      if( ( lastSubBlock > 0 && log2TbWidth >= 2 && log2TbHeight >= 2 ) | |        ( lastScanPos > 7 && ( log2TbWidth = = 2 | | log2TbWidth = = 3 ) &     &        log2TbWidth = = log2TbHeight ) )       LfnstZeroOutSigCoeffFlag = 0      if( ( lastSubBlock > 0 | | lastScanPos > 0 ) && cIdx = = 0 )       MtsDcOnly = 0      QState = 0      for( i = lastSubBlock; i >= 0; i− − ) {       startQStateSb = QState       xS = DiagScanOrder[ log2TbWidth − log2SbW ][ log2TbHeight − log2SbH ]            [ i ][ 0 ]       yS = DiagScanOrder[ log2TbWidth − log2SbW ][ log2TbHeight − log2SbH ]            [ i ][ 1 ]       inferSbDcSigCoeffFlag = 0       if( i < lastSubBlock && i > 0 ) {        sb_coded_flag[ xS ][ yS ] ae(v)        inferSbDcSigCoeffFlag = 1       }       if( sb_coded_flag[ xS ][ yS ] && ( xS > 3 | | yS > 3 ) && cIdx = = 0 )        MtsZeroOutSigCoeffFlag = 0       firstSigScanPosSb = numSbCoeff       lastSigScanPosSb = −1       firstPosMode0 = ( i = = lastSubBlock ? lastScanPos : numSbCoeff − 1 )       firstPosMode1 = firstPosMode0       for( n = firstPosMode0; n >= 0 && remBinsPass1 >= 4; n− − ) {        xC = ( xS << log2SbW ) + DiagScanOrder[ log2SbW ][ log2SbH ][ n ]     [ 0 ]        yC = ( yS << log2SbH) + DiagScanOrder[ log2SbW ][ log2SbH ][ n ]     [ 1 ]        if( sb_coded_flag[ xS ][ yS ] && ( n > 0 | | !interSbDcSigCoeffFlag ) &     &          ( xC != LastSignificantCoeffX | | yC != Last SignificantCoeffY ) )     {         sig_coeff_flag[ xC ][ yC ] ae(v)         remBinsPass1− −         if( sig_coeff_flag[ xC ][ yC ] )          inferSbDcSigCoeffFlag = 0        }        if( sig_coeff_flag[ xC ][ yC ] ) {         abs_level_gtx_flag[ n ][ 0 ] ae(v)         remBinsPass1− −         if( abs_level_gtx_flag[ n ][ 0 ] ) {          par_level_flag[ n ] ae(v)          remBinsPass1− −          abs_level_gtx_flag[ n ][ 1 ] ae(v)          remBinsPass1− −         }         if( lastSigScanPosSb = = −1 )          lastSigScanPosSb = n         firstSigScanPosSb = n        }        AbsLevelPass1[ xC ][ yC ] = sig_coeff_flag[ xC ][ yC ] + par_level_flag     [ n ] +             abs_level_gtx_flag[ n ][ 0 ] + 2 * abs_level_gtx flag[ n ]     [ 1 ]        if( sh_dep_quant_used_flag )         QState = QStateTransTable[ QState ][ AbsLevelPass1[ xC ][ yC ] & 1 ]        firstPosMode1 = n − 1       }       for( n = firstPosMode0; n > firstPosMode1; n− − ) {        xC = ( xS << log2SbW ) + DiagScanOrder[ log2SbW ][ log2SbH ][ n ]     [ 0 ]        yC = ( yS << log2SbH ) + DiagScanOrder[ log2SbW ][ log2SbH ][ n ]     [ 1 ]        if( abs_level_gtx_flag[ n ][ 1 ] )         abs_remainder[ n ] ae(v)        AbsLevel[ xC ][ yC ] = AbsLevelPass1[ xC ][ yC ] +2 * abs_remainder[ n ]       }       for( n = firstPosMode1; n >= 0; n− − ) {        xC = ( xS << log2SbW ) + DiagScanOrder[ log2SbW ][ log2SbH ][ n ]     [ 0 ]        yC = ( yS << log2SbH ) + DiagScanOrder[ log2SbW ][ log2SbH ][ n ]     [ 1 ]        if( sb_coded_flag[ xS ][ yS ] )         dec_abs_level[ n ] ae(v)        if( AbsLevel[ xC ][ yC ] > 0 ) {         if( lastSigScanPosSb = = −1 )          lastSigScanPosSb = n         firstSigScanPosSb = n        }        if( sh_dep_quant_used_flag )         QState = QStateTransTable[ QState ][ AbsLevel[ xC ][ yC ] & 1 ]       }       if( sh_dep_quant_used_flag | | !sh_sign_data_hiding_used_flag )        signHidden = 0       else        signHidden = ( lastSigScanPosSb − firstSigScanPosSb > 3 ? 1 : 0 )       for( n = numSbCoeff − 1; n >= 0; n− − ) {        xC = ( xS << log2SbW ) + DiagScanOrder[ log2SbW ][ log2SbH ][ n ]     [ 0 ]        yC = ( yS << log2SbH ) + DiagScanOrder[ log2SbW ][ log2SbH ][ n ]     [ 1 ]        if( ( AbsLevel[ xC ][ yC ] > 0 ) &&         ( !signHidden | | ( n != firstSigScanPosSb ) ) )         coeff_sign_flag[ n ] ae(v)       }       if( sh_dep_quant_used_flag ) {        QState = startQStateSb        for( n = numSbCoeff − 1; n >= 0; n− − ) {         xC = ( xS << log2SbW ) + DiagScanOrder[ log2SbW ][ log2SbH ][ n ]     [ 0 ]         yC = ( yS << log2SbH ) + DiagScanOrder[ log2SbW ][ log2SbH ][ n ]     [ 1 ]         if( AbsLevel[ xC ][ yC ] > 0 )          TransCoeffLevel[ x0 ][ y0 ][ cIdx ][ xC ][ yC ] =            ( 2 * AbsLevel[ xC ][ yC ] − ( QState > 1 ? 1 : 0 ) ) *            ( 1 − 2 * coeff_sign_flag[ n ] )         QState = QStateTransTable[ QState ][ AbsLevel[ xC ][ yC ] & 1 ]       } else {        sumAbsLevel = 0        for( n = numSbCoeff − 1; n >= 0; n− − ) {         xC = ( xS << log2SbW ) + DiagScanOrder[ log2SbW ][ log2SbH ][ n ]     [ 0 ]         yC = ( yS << log2SbH ) + DiagScanOrder[ log2SbW ][ log2SbH ][ n ]     [ 1 ]         if( AbsLevel[ xC ][ yC ] > 0 ) {          TransCoeffLevel[ x0 ][ y0 ][ cIdx ][ xC ][ yC ] =            AbsLevel[ xC ][ yC ] * ( 1 − 2 * coeff_sign_flag[ n ] )          if( signHidden ) {           sumAbsLevel += AbsLevel[ xC ][ yC ]           if( ( n = = firstSigScanPosSb ) && ( sumAbsLevel % 2 ) = = 1 )     )            TransCoeffLevel[ x0 ][ y0 ][ cIdx ][ xC ][ yC ] =              −TransCoeffLevel[ x0 ][ y0 ][ cIdx ][ xC ][ yC ]          }         }        }       }      }     }

TABLE 4 Descriptor residual_ts_coding( x0, y0, log2TbWidth, log2TbHeight, cIdx ) {  log2SbW = ( Min( log2TbWidth, log2TbHeight ) < 2 ? 1 : 2 )  log2SbH = log2SbW  if( log2TbWidth + log2TbHeight > 3 )   if( log2TbWidth < 2 ) {    log2SbW = log2TbWidth    log2SbH = 4 − log2SbW   } else if( log2TbHeight < 2 ) {    log2SbH = log2TbHeight    log2SbW = 4 − log2SbH   }  numSbCoeff = 1 << ( log2SbW + log2SbH )  lastSubBlock = ( 1 << ( log2TbWidth + log2TbHeight − ( log2SbW + log2Sb H ) ) ) − 1  inferSbCbf = 1  RemCcbs = ( ( 1 << ( log2TbWidth + log2TbHeight ) ) * 7 ) >> 2  for( i =0; i <= lastSubBlock; i++ ) {   xS = DiagScanOrder[ log2TbWidth − log2SbW ][ log2TbHeight − log2SbH ] [ i ][ 0 ]   yS = DiagScanOrder[ log2TbWidth − log2SbW ][ log2TbHeight − log2SbH ] [ i ][ 1 ]   if( i != lastSubBlock | | !inferSbCbf )    sb_coded_flag[ xS ][ yS ] ae(v)   if( sb_coded_flag[ xS ][ yS ] && i < lastSubBlock )    inferSbCbf = 0  /* First scan pass */   inferSbSigCoeffFlag = 1   lastScanPosPass1 = −1   for( n = 0; n <= numSbCoeff − 1 && RemCcbs >= 4; n++ ) {    xC = ( xS << log2SbW ) + DiagScanOrder[ log2SbW ][ log2SbH ][ n ] [ 0 ]    yC = ( yS << log2SbH ) + DiagScanOrder[ log2SbW ][ log2SbH ][ n ] [ 1 ]    lastScanPosPass1 = n    if( sb_coded_flag[ xS ][ yS ]      ( n != numSbCoeff − 1 | | !inferSbSigCoeffFlag ) ) {     sig_coeff_flag[ xC ][ yC ] ae(v)     RemCcbs− −     if( sig_coeff_flag[ xC ][ yC ] )      inferSbSigCoeffFlag = 0    }    CoeffSignLevel[ xC ][ yC ] = 0    if( sig_coeff_flag[ xC ][ yC ] ) {     coeff_sign_flag[ n ] ae(v)     RemCcbs− −     CoeffSignLevel[ xC ][ yC ] = ( coeff_sign_flag[ n ] > 0 ? − 1 : 1 )     abs_level_gtx_flag[ n ][ 0 ] ae(v)     RemCcbs− −     if( abs_level_gtx_flag[ n ][ 0 ] ) {      par_level_flag[ n ] ae(v)      RemCcbs− −     }    }    AbsLevelPass1[ xC ][ yC ] =      sig_coeff_flag[ xC ][ yC ] + par_level_flag[ n ] + abs_level_gtx_flag [ n ][ 0 ]   }  /* Greater than X scan pass (numGtXFlags=5) */   lastScanPosPass = −1   for( n = 0; n <= numSbCoeff − 1 && RemCcbs >= 4; n++ ) {    xC = ( xS << log2SbW ) + DiagScanOrder[ log2SbW ][ log2SbH ][ n ] [ 0 ]    yC = ( yS << log2SbH ) + DiagScanOrder[ log2SbW ][ log2SbH ][ n ] [ 1 ]    AbsLevelPass2[ xC ][ yC ] = AbsLevelPass1[ xC ][ yC ]    for( i = 1; i < 5; i++ ) {     if( abs_level_gtx_flag[ n ][ i − 1 ] ) {      abs_level_gtx_flag[ n ][ i ] ae(v)      RemCcbs− −     }     AbsLevelPas2[ xC ][ yC ] += 2 * abs_level_gtx_flag[ n ][ j ]    }    lastScanPosPass2 = n   }  /* remainder scan pass */   for( n = 0; n <= numSbCoeff − 1; n++ ) {    xC = ( xS << log2SbW ) + DiagScanOrder[ log2SbW ][ log2SbH ][ n ] [ 0 ]    yC = ( yS << log2SbH ) + DiagScanOrder[ log2SbW ][ log2SbH ][ n ] [ 1 ]    if( ( n <= lastScanPosPass2 && AbsLevelPass2[ xC ][ yC ] >= 10 ) | |      ( n > lastScanPosPass2 && n <= lastScanPosPass1 &&      AbsLevelPass1[ xC ][ yC ] >= 2 ) | |      ( n > lastScanPosPass1 && sb_coded_flag[ xS ][ yS ] ) )     abs_remainder[ n ] ae(v)    if( n <= lastScanPosPass2 )     AbsLevel[ xC ][ yC ] = AbsLevelPass2[ xC ][ yC ] + 2 * abs_remainder [ n ]    else if( n <= lastScanPosPass1 )     AbsLevel[ xC ][ yC ] = AbsLevelPass1[ xC ][ yC ] + 2 * abs_remainder [ n ]    else { /* bypass */     AbsLevel[ xC ][ yC ] = abs_remainder[ n ]     if( abs_remainder[ n ] )      coeff_sign_flag[ n ] ae(v)    }    if( BdpcmFlag[ x0 ][ y0 ][ cIdx ] = = 0 && n <= lastScanPosPass1 ) {     absLeftCoeff = xC > 0 ? AbsLevel[ xC − ][ yC ] ) : 0     absAboveCoeff = yC > 0 ? AbsLevel[ xC ][ yC − 1 ] ) : 0     predCoeff = Max( absLeftCoeff, absAboveCoeff )     if( AbsLevel[ xC ][ yC ] = = 1 && predCoeff > 0 )      AbsLevel[ xC ][ yC ] = predCoeff     else if( AbsLevel[ xC ][ yC ] > 0 && AbsLevel[ xC ][ yC ] <= predCo eff )      AbsLevel[ xC ][ yC ]− −    }    TransCoeffLevel[ x0 ][ y0 ][ cIdx ][ xC ][ yC ] = ( 1 − 2 * coeff_sign_flag [ n ] ) *      AbsLevel[ xC ][ yC ]   }  } }

According to the present embodiment, as shown in Table 2, residual coding may be divided according to a value of the syntax element transform_skip_flag of the transform skip flag. That is, a different syntax element may be used for residual coding based on the value of the transform skip flag (based on whether the transform is skipped). Residual coding used when the transform skip is not applied (that is, when the transform is applied) may be called Regular Residual Coding (RRC), and residual coding used when the transform skip is applied (that is, when the transform is not applied) may be called Transform Skip Residual Coding (TSRC). Also, the regular residual coding may be referred to as general residual coding. Also, the regular residual coding may be referred to as a regular residual coding syntax structure, and the transform skip residual coding may be referred to as a transform skip residual coding syntax structure. Table 3 above may show a syntax element of residual coding when a value of transform_skip_flag is 0, that is, when the transform is applied, and Table 4 above may show a syntax element of residual coding when the value of transform_skip_flag is 1, that is, when the transform is not applied.

Specifically, for example, it may be determined that the transform skip flag indicating whether to the transform skip of the transform block may be parsed, and whether the transform skip flag is 1 or not. When the value of the transform skip flag is 0, as shown in Table 3, the syntax elements last_sig_coeff_x_prefix, last_sig_coeff_y_prefix, last_sig_coeff_x_suffix, last_sig_coeff_y_suffix, sb_coded_flag, sig_coeff_flag, abs_level_gtx_flag, par_level_flag, abs_remainder, dec_abs_level, and/or coeff_sign_flag may be parsed, and the residual coefficient may be derived based on the above syntax element for the residual coefficients. In this case, the syntax elements may be parsed sequentially, or the parsing order may be changed. Also, the abs_level_gtx_flag may represent abs_level_gt1_flag and/or abs_level_gt3_flag. For example, abs_level_gtx_flag[n][0] may be an example of a first transform coefficient level flag (abs_level_gt1_flag), and the abs_level_gtx_flag[n][1] may be an example of a second transform coefficient level flag (abs_level_gt3_flag).

Referring to Table 3 above, last_sig_coeff_x_prefix, last_sig_coeff_y_prefix, last_sig_coeff_x_suffix, last_sig_coeff_y_suffix, sb_coded_flag, sig_coeff_flag, abs_level_gt1_flag, par_level_flag, abs_level_gt3_flag, abs_remainder, dec_abs_level, and/or coeff_sign_flag may be encoded/decoded. On the other hand, the sb_coded_flag may be expressed as coded_sub_block_flag.

In an embodiment, the encoding apparatus may encode (x, y) position information of the last non-zero transform coefficient in a transform block based on the syntax elements last_sig_coeff_x_prefix, last_sig_coeff_y_prefix, last_sig_coeff_x_suffix, and last_sig_coeff_y_suffix. More specifically, the last_sig_coeff_x_prefix represents a prefix of a column position of a last significant coefficient in a scanning order within the transform block, the last_sig_coeff_y_prefix represents a prefix of a row position of the last significant coefficient in the scanning order within the transform block, the last_sig_coeff_x_suffix represents a suffix of a column position of the last significant coefficient in the scanning order within the transform block, and the last_sig_coeff_y_suffix represents a suffix of a row position of the last significant coefficient in the scanning order within the transform block. Here, the significant coefficient may represent a non-zero coefficient. In addition, the scanning order may be a right diagonal scanning order. Alternatively, the scanning order may be a horizontal scanning order or a vertical scanning order. The scanning order may be determined based on whether intra/inter prediction is applied to a target block (a CB or a CB including a TB) and/or a specific intra/inter prediction mode.

Thereafter, the encoding apparatus may divide the transform block into 4×4 sub-blocks, and then indicate whether there is a non-zero coefficient in the current sub-block using a 1-bit syntax element coded_sub_block_flag for each 4×4 sub-block.

If a value of coded_sub_block_flag is 0, there is no more information to be transmitted, and thus, the encoding apparatus may terminate the encoding process on the current sub-block. Conversely, if the value of coded_sub_block_flag is 1, the encoding apparatus may continuously perform the encoding process on sig_coeff_flag. Since the sub-block including the last non-zero coefficient does not require encoding for the coded_sub_block_flag and the sub-block including the DC information of the transform block has a high probability of including the non-zero coefficient, coded_sub_block_flag may not be coded and a value thereof may be assumed as 1.

If the value of coded_sub_block_flag is 1 and thus it is determined that a non-zero coefficient exists in the current sub-block, the encoding apparatus may encode sig_coeff_flag having a binary value according to a reverse scanning order. The encoding apparatus may encode the 1-bit syntax element sig_coeff_flag for each transform coefficient according to the scanning order. If the value of the transform coefficient at the current scan position is not 0, the value of sig_coeff_flag may be 1. Here, in the case of a subblock including the last non-zero coefficient, sig_coeff_flag does not need to be encoded for the last non-zero coefficient, so the coding process for the sub-block may be omitted. Level information coding may be performed only when sig_coeff_flag is 1, and four syntax elements may be used in the level information encoding process. More specifically, each sig_coeff_flag[xC][yC] may indicate whether a level (value) of a corresponding transform coefficient at each transform coefficient position (xC, yC) in the current TB is non-zero. In an embodiment, the sig_coeff_flag may correspond to an example of a syntax element of a significant coefficient flag indicating whether a quantized transform coefficient is a non-zero significant coefficient.

A level value remaining after encoding for sig_coeff_flag may be derived as shown in the following equation. That is, the syntax element remAbsLevel indicating a level value to be encoded may be derived from the following equation.

remAbsLevel=|coeff|−1   [Equation 1]

Here, coeff means an actual transform coefficient value.

In addition, abs_level_gt1_flag may indicate whether remAbsLevel′ at the corresponding scanning position (n) is greater than 1. For example, when the value of abs_level_gt1_flag is 0, the absolute value of the transform coefficient of the corresponding position may be 1. In addition, when the value of the abs_level_gt1_flag is 1, the remAbsLevel indicating the level value to be encoded later may be derived as shown in the following equation.

remAbsLevel=remAbsLevel−1   [Equation 2]

In addition, the least significant coefficient (LSB) value of remAbsLevel described in Equation 2 described above may be encoded as in Equation 3 below through par_level_flag.

par_level_flag=|coeff|& 1   [Equation 3]

Here, par_level_flag[n] may indicate parity of the transform coefficient level (value) at the scanning position n.

After par_leve_flag encoding, the transform coefficient level value remAbsLevel to be encoded may be updated as shown in the following equation.

remAbsLevel=remAbsLevel>>1   [Equation 4]

abs_level_gt3_flag may indicate whether remAbsLevel at the corresponding scanning position n is greater than 3. Encoding for abs_remainder may be performed only when rem_abs_gt3_flag is 1. The relationship between coeff, which is an actual transform coefficient value, and each syntax element may be expressed by the following equation.

|coeff|=sig_coeff_flag+abs_level_gt1_flag+par_level_flag+2*(abs_level_gt3_flag+abs_remainder)   [Equation 5]

In addition, the following table shows examples related to Equation 5 described above.

TABLE 5 |coeff| sig_coeff_flag abs_level_gt1_flag par_level_flag abs_level_gt3_flag abs_remainder 0 0 1 1 0 2 1 1 0 3 1 1 1 0 4 1 1 0 1 0 5 1 1 1 1 0 6 1 1 0 1 1 7 1 1 1 1 1 8 1 1 0 1 2 9 1 1 1 1 2 10 1 1 0 1 3 11 1 1 1 1 3 . . . . . . . . . . . .

Here, |coeff| represents a transform coefficient level (value), and may be expressed as AbsLevel for the transform coefficient. In addition, the sign of each coefficient may be encoded using a 1-bit symbol coeff_sign_flag.

Also, for example, when the value of the transform skip flag is 1, as shown in Table 4, syntax elements sb_coded_flag, sig_coeff_flag, coeff_sign_flag, abs_level_gtx_flag, par_level_flag and/or abs_remainder for the residual coefficients of the transform block may be parsed, and the residual coefficient may be derived based on the syntax elements. In this case, the syntax elements may be parsed sequentially, or the parsing order may be changed. Also, the abs_level_gtx_flag may indicate abs_level_gt1_flag, abs_level_gt3_flag, abs_level_gt5_flag, abs_level_gt7_flag, and/or abs_level_gt9_flag. For example, abs_level_gtx_flag[n][j] may be a flag indicating that the absolute value of the transform coefficient level−1 (or the transform coefficient level−1 shifted to the right by 1) at the scanning position n is greater than (j<<1)+1. The (j<<1)+1 may be replaced with a predetermined threshold value, such as a first threshold value and a second threshold value, in some cases.

Meanwhile, CABAC provides high performance, but disadvantageously has poor throughput performance. This is caused by a regular coding engine of the CABAC. Regular encoding (i.e., coding through the regular coding engine of the CABAC) shows high data dependence since it uses a probability state and range updated through coding of a previous bin, and it may take a lot of time to read a probability interval and determine a current state. The throughput problem of the CABAC may be solved by limiting the number of context-coded bins. For example, as shown in Table 1 or Table 3 described above, a sum of bins used to express sig_coeff_flag, abs_level_gt1_flag, par_level_flag, and abs_level_gt3_flag may be limited to the number of bins depending on a size of a corresponding block. Also, for example, as shown in Table 4 described above, a sum of bins used to express sig_coeff_flag, coeff_sign_flag, abs_level_gt1_flag, par_level_flag, abs_level_gt3_flag abs_level_gt5_flag, abs_level_gt7_flag, abs_level_gt9_flag may be limited to the number of bins depending on a size of a corresponding block. For example, if the corresponding block is a block of a 4×4 size, the sum of bins for the sig_coeff_flag, abs_level_gt1_flag, par_level_flag, abs_level_gt3_flag or sig_coeff_flag, coeff_sign_flag, abs_level_gt1_flag, par_level_flag, abs_level_gt3_flag abs_level_gt5_flag, abs_level_gt7_flag, abs_level_gt9_flag may be limited to 32 (or ex. 28), and if the corresponding block is a block of a 2×2 size, the sum of bins for the sig_coeff_flag, abs_level_gt1_flag, par_level_flag, abs_level_gt3_flag may be limited to 8 (or ex. 7). The limited number of bins may be represented by remBinsPass1 or RemCcbs. Or, for example, for higher CABAC throughput, the number of context coded bins may be limited for a block (CB or TB) including a coding target CG. In other words, the number of context coded bins may be limited in units of blocks (CB or TB). For example, when the size of the current block is 16×16, the number of context coded bins for the current block may be limited to 1.75 times the number of pixels of the current block, i.e., 448, regardless of the current CG.

In this case, when the encoding apparatus uses all of a limited number of context encoding bins to encode a context element, the encoding apparatus may binarize the remaining coefficients through a binarization method to be described later without using context coding, and perform bypass coding. In other words, for example, when the number of context coded bins coded for 4×4 CG is 32 (or, for example, 28) or the number of context coded bins coded for 2×2 CG is 8 (or for example, 7), sig_coeff_flag, abs_level_gt1_flag, par_level_flag, and abs_level_gt3_flag coded as context coding bins may not be coded, and may be directly coded as dec_abs_level as shown in Table 13 below. Alternatively, for example, when the number of context coded bins coded for a 4×4 block is limited to 1.75 times the number of pixels of the entire block, that is, 28, sig_coeff_flag, abs_level_gt1_flag, par_level_flag, and abs_level_gt3_flag, which are no longer coded as context coded bins, may not be coded, and may be directly coded as dec_abs_level as shown in Table 6 below.

TABLE 6 |coeff| dec_abs_level 0 0 1 1 2 1 3 1 4 1 5 1 6 1 7 1 8 1 9 1 10 1 11 1 . . . . . .

Based on dec_abs_level, a |coeff| value may be derived. In this case, the transform coefficient value |coeff| may be derived as the following Equation.

|coeff|=dec_abs_level   [Equation 6]

Also, the coeff_sign_flag may indicate a sign of a transform coefficient level at the corresponding scanning position n. That is, the coeff_sign_flag may indicate the sign of the transform coefficient at the corresponding scanning position n.

FIG. 11 is a diagram showing exemplary transform coefficients within a 4×4 block.

The 4×4 block of FIG. 11 shows an example of quantized coefficients. The block shown in FIG. 11 may be a 4×4 transform block or a 4×4 sub-block of an 8×8, 16×16, 32×32, or 64×64 transform block. The 4×4 block of FIG. 11 may represent a luma block or a chroma block.

For example, the encoding result for the inverse diagonally scanned coefficients of FIG. 11 may be as shown in the following table.

TABLE 7 scan_pos 15 14 13 12 11 10 9 8 7 6 5 4 3 2 1 0 coefficients 0 0 0 0 1 −1 0 2 0 3 −2 −3 4 6 −7 10 sig_coeff_flag 0 0 0 0 1 1 0 1 0 1 1 1 1 1 abs_level_gt1_flag 0 0 1 1 1 1 1 1 par_level_flag 0 1 0 1 0 0 abs_level_gt3_flag 1 1 abs_remainder 0 1 dec_abs_level 7 10 coeff_sign_flag 0 0 0 0 0 1 0 0 0 0 1 1 0 0 1 0

In Table 7 described above, scan_pos represents the position of the coefficient according to the inverse diagonal scan. scan_pos 15 may be a transform coefficient of the lower right corner scanned first in a 4×4 block, and scan_pos 0 may be a transform coefficient scanned last, i.e., a transform coefficient of a top left corner. Meanwhile, in an embodiment, the scan_pos may be referred to as a scan position. For example, the scan_pos 0 may be referred to as scan position 0.

Meanwhile, as described above, when an input signal is not a binary value but a syntax element, the encoding apparatus may transform the input signal into a binary value by binarizing a value of the input signal. In addition, the decoding apparatus may decode the syntax element to derive a binarized value (e.g., a binarized bin) of the syntax element, and may de-binarize the binarized value to derive a value of the syntax element. The binarization process may be performed as a truncated rice (TR) binarization process, a k-th order Exp-Golomb (EGk) binarization process, a limited k-th order Exp-Golomb (limited EGk), a fixed-length (FL) binarization process, or the like. In addition, the de-binarization process may represent a process performed based on the TR binarization process, the EGk binarization process, or the FL binarization process to derive the value of the syntax element.

For example, the TR binarization process may be performed as follows.

An input of the TR binarization process may be cMax and cRiceParam for a syntax element and a request for TR binarization. In addition, an output of the TR binarization process may be TR binarization for symbolVal which is a value corresponding to a bin string.

Specifically, for example, in the presence of a suffix bin string for a syntax element, a TR bin string for the syntax element may be concatenation of a prefix bin string and the suffix bin string, and in the absence of the suffix bin string, the TR bin string for the syntax element may be the prefix bin string. For example, the prefix bin string may be derived as described below.

A prefix value of the symbolVal for the syntax element may be derived as shown in the following equation.

prefixVal=symbolVal>>cRiceParam   [Equation 7]

Herein, prefixVal may denote a prefix value of the symbolVal. A prefix (i.e., a prefix bin string) of the TR bin string of the syntax element may be derived as described below.

For example, if the prefixVal is less than cMax>>cRiceParam, the prefix bin string may be a bit string of length prefixVal+1, indexed by binIdx. That is, if the prefixVal is less than cMax>>cRiceParam, the prefix bin string may be a bit string of which the number of bits is prefixVal+1, indicated by binIdx. A bin for binIdx less than prefixVal may be equal to 1. In addition, a bin for the same binIdx as the prefixVal may be equal to 0.

For example, a bin string derived through unary binarization for the prefixVal may be as shown in the following table.

TABLE 8 prefixVal Bin string 0 0 1 1 0 2 1 1 0 3 1 1 1 0 4 1 1 1 1 0 5 1 1 1 1 1 0 . . . binIdx 0 1 2 3 4 5

Meanwhile, if the prefixVal is not less than cMax>>cRiceParam, the prefix bin string may be a bit string in which a length is cMax>>cRiceParam and all bits are 1.

In addition, if cMax is greater than symbolVal and if cRiceParam is greater than 0, a bin suffix bin string of a TR bin string may be present. For example, the suffix bin string may be derived as described below.

A suffix value of the symbolVal for the syntax element may be derived as shown in the following equation.

suffixVal=symbolVal−((prefixVal)<<cRiceParam)   [Equation 8]

Herein, suffixVal may denote a suffix value of the symbolVal.

A suffix of a TR bin string (i.e., a suffix bin string) may be derived based on an FL binarization process for suffixVal of which a value cMax is (1<<cRiceParam)−1.

Meanwhile, if a value of an input parameter, i.e., cRiceParam, is 0, the TR binarization may be precisely truncated unary binarization, and may always use the same value cMax as a possible maximum value of a syntax element to be decoded.

In addition, for example, the EGk binarization process may be performed as follows. A syntax element coded with ue(v) may be a syntax element subjected to Exp-Golomb coding.

For example, a 0-th order Exp-Golomb (EG0) binarization process may be performed as follows.

A parsing process for the syntax element may begin with reading a bit including a first non-zero bit starting at a current position of a bitstream and counting the number of leading bits equal to 0. The process may be represented as shown in the following table.

TABLE 9 leadingZeroBits = −1 for( b = 0; !b; leadingZeroBits++ )  b = read_bits( 1 )

In addition, the variable codeNum may be derived as follows.

codeNum=2^(leadingZeroBits)−1+read_bits(leadingZeroBits)   [Equation 9]

Herein, a value returned from read_bits(leadingZeroBits), that is, a value indicated by read_bits(leadingZeroBits), may be interpreted as binary representation of an unsigned integer for a most significant bit recorded first.

A structure of an Exp-Golomb code in which a bit string is divided into a “prefix” bit and a “suffix” bit may be represented as shown in the following table.

TABLE 10 Bit string form Range of codeNum 1 0 0 1 x₀ 1 . . . 2 0 0 1 x₁ x₀ 3 . . . 6 0 0 0 1 x₂ x₁ x₀  7 . . . 14 0 0 0 0 1 x₃ x₂ x₁ x₀ 15 . . . 30 0 0 0 0 0 1 x₄ x₃ x₂ x₁ x₀ 31 . . . 62 . . . . . .

The “prefix” bit may be a bit parsed as described above for calculating leadingZeroBits, and may be indicated by 0 or 1 of a bit string in Table 10. That is, the bit string indicated by 0 or 1 in Table 10 above may represent the prefix bit string. The “suffix” bit may be a bit parsed in the calculation of codeNum, and may be denoted by xi in Table 10 above. That is, the bit string indicated by xi in Table 10 above may represent the suffix bit string. Here, i may be a value ranging from 0 to LeadingZeroBits−1. Also, each xi can be equal to 0 or 1.

The bit string allocated to the codeNum may be as shown in the following table.

TABLE 11 Bit string codeNum 1 0 0 1 0 1 0 1 1 2 0 0 1 0 0 3 0 0 1 0 1 4 0 0 1 1 0 5 0 0 1 1 1 6 0 0 0 1 0 0 0 7 0 0 0 1 0 0 1 8 0 0 0 1 0 1 0 9 . . . . . .

If a descriptor of the syntax element is ue(v), that is, if the syntax element is coded with ue(v), a value of the syntax element may be equal to codeNum.

In addition, for example, the EGk binarization process may be performed as follows.

An input of the EGk binarization process may be a request for EGk binarization. In addition, the output of the EGk binarization process may be EGk binarization for symbolVal, i.e., a value corresponding to a bin string.

A bit string of the EGk binarization process for symbolVal may be derived as follows.

TABLE 12 absV = Abs( symbolVal ) stopLoop = 0 do  if( absV >= ( 1 << k ) ) {   put( 1 )   absV = absV − ( 1 << k )   k++  } else {   put( 0 )   while( k− − )    put( ( absV >> k ) & 1 )   stopLoop = 1  } while( !stopLoop )

Referring to Table 12 above, a binary value X may be added to an end of a bin string through each call of put(X). Herein, X may be 0 or 1.

In addition, for example, the limited EGk binarization process may be performed as follows.

An input of the limited EGk binarization process may be a request for limited EGk binarization, a rice parameter riceParam, log 2TransformRange as a variable representing a binary logarithm of a maximum value, and maxPreExtLen as a variable representing a maximum prefix extension length. In addition, an output of the limited EGk binarization process may be limited EGk binarization for symbolVal as a value corresponding to an empty string.

A bit string of the limited EGk binarization process for the symbolVal may be derived as follows.

TABLE 13 codeValue − symbolVal >> riceParam PrefixExtensionLength = 0 while( ( PrefixExtensionLength < maxPrefixExtensionLength ) &&   ( codeValue > ( ( 2 << PrefixExtensionLength ) − 2 ) ) ) {  PrefixExtensionLength++  put( 1 ) } if( PrefixExtensionLength = = maxPrefixExtensionLength )  escapeLength = log2TransformRange else {  escapeLength = PrefixExtensionLength + riceParam  put( 0 ) } symbolVal = symbolVal ( ( ( 1 << PrefixExtensionLength ) 1 ) << riceParam ) while( ( escapeLength− − ) > 0 )  put( ( symbolVal >> escapeLength ) & 1 )

In addition, for example, the FL binarization process may be performed as follows.

An input of the FL binarization process may be a request for FL binarization and cMax for the syntax element. In addition, an output of the FL binarization process may be FL binarization for symbolVal as a value corresponding to a bin string.

FL binarization may be configured by using a bit string of which the number of bits has a fixed length of symbolVal. Herein, the fixed-length bit may be an unsigned integer bit string. That is, a bit string for symbolVal as a symbol value may be derived through FL binarization, and a bit length (i.e., the number of bits) of the bit string may be a fixed length.

For example, the fixed length may be derived as shown in the following equation.

fixedLength=Ceil(Log 2(cMax+1))   [Equation 10]

Indexing of bins for FL binarization may be a method using a value which increases orderly from a most significant bit to a least significant bit. For example, a bin index related to the most significant bit may be binIdx=0.

Meanwhile, for example, a binarization process for a syntax element abs_remainder in the residual information may be performed as follows.

An input of the binarization process for the abs_remainder may be a request for binarization of a syntax element abs_remainder[n], a colour component cIdx, and a luma position (x0, y0). The luma position (x0, y0) may indicate a top-left sample of a current luma transform block based on the top-left luma sample of a picture.

An output of the binarization process for the abs_remainder may be binarization of the abs_remainder (i.e., a binarized bin string of the abs_remainder). Available bin strings for the abs_remainder may be derived through the binarization process.

First, lastAbsRemainder and lastRiceParam for abs_remainder[n] may be derived as follows. Here, the lastAbsRemainder may represent a value of abs_remainder derived before the abs_remainder[n], and the lastRiceParam may represent a rice parameter cRiceParam for abs_remainder derived before the abs_remainder[n].

For example, when the process of deriving lastAbsRemainder and lastRiceParam for the abs_remainder[n] is called for the first time for the current subblock, that is, when the process of abs_remainder[n] is performed for the transform coefficient of the first order in the scanning order among the transform coefficients of the current subblock, both the lastAbsRemainder and the lastRiceParam may be set to 0.

In addition, when this is not the case, that is, when the process is not called for the first time for the current subblock, the lastAbsRemainder and the lastRiceParam may be set equal to the values of abs_remainder[n] and cRiceParam derived from each last call. That is, the lastAbsRemainder may be derived with the same value as abs_remainder[n] coded before abs_remainder[n] currently coded, and the lastRiceParam may be derived as the same value as cRiceParam for abs_remainder[n] coded before abs_remainder[n] currently coded.

Thereafter, the rice parameter cRiceParam for the currently coded abs_remainder[n] may be derived based on the lastAbsRemainder and the lastRiceParam. For example, the rice parameter cRiceParam for the currently coded abs_remainder[n] may be derived as shown in the following equation.

cRiceParam=Min(lastRiceParam+((lastAbsRemainder>(3*(1<<lastRiceParam)))?1:0), 3)   [Equation 11]

Also, for example, cMax for the currently coded abs_remainder[n] may be derived based on the rice parameter cRiceParam. The cMax may be derived as follows.

cMax=6<<cRiceParam   [Equation 12]

Alternatively, for example, the rice parameter cRiceParam may be determined based on whether the transformation of the current block is skipped. That is, when the transform is not applied to the current TB including the current CG, that is, when the transform skip is applied to the current TB including the current CG, the rice parameter cRiceParam may be derived as 1. Alternatively, when the transform is applied to the current TB including the current CG, that is, when the transform skip is not applied to the current TB including the current CG, as described above, the rice parameter cRiceParam for the currently coded abs_remainder[n] may be derived as the same value as the cRiceParam for the previously coded abs_remainder[n].

Meanwhile, binarization for the abs_remainder, that is, a bin string for the abs_remainder, may be concatenation of a prefix bin string and a suffix bin string in the presence of the suffix bin string. In addition, in the absence of the suffix bin string, the bin string for the abs_remainder may be the prefix bin string.

For example, the prefix bin string may be derived as described below.

A prefix value prefixVal of the abs_remainder[n] may be derived as shown in the following equation.

prefixVal=Min(cMax, abs_remainder[n])   [Equation 13]

A prefix of the bin string (i.e., a prefix bin string) of the abs_remainder[n] may be derived through a TR binarization process for the prefixVal, in which the cMax and the cRiceParam are used as an input.

If the prefix bin string is identical to a bit string in which all bits are 1 and a bit length is 6, a suffix bin string of the bin string of the abs_remainder[n] may exist, and may be derived as described below.

The suffix value suffixVal of the abs_remainder may be derived as the following Equation.

suffixVal=abs_remainder[n]−cMax   [Equation 14]

A suffix bin string of the bin string of the abs_remainder may be derived through a limited EGk binarization process for the suffixVal in which k is set to cRiceParam+1, riceParam is set to cRiceParam, and log 2TransformRange is set to 15, and maxPreExtLen is set to 11.

Meanwhile, for example, a binarization process for a syntax element dec_abs_level in the residual information may be performed as follows.

An input of the binarization process for the dec_abs_level may be a request for binarization of a syntax element dec_abs_level[n], a colour component cIdx, a luma position (x0, y0), a current coefficient scan position (xC, yC), log 2TbWidth as a binary logarithm of a width of a transform block, and log 2TbHeight as a binary logarithm of a height of the transform block. The luma position (x0, y0) may indicate a top-left sample of a current luma transform block based on a top-left luma sample of a picture.

An output of the binarization process for the dec_abs_level may be binarization of the dec_abs_level (i.e., a binarized bin string of the dec_abs_level). Available bin strings for the dec_abs_level may be derived through the binarization process.

A rice parameter cRiceParam for dec_abs_level[n] may be derived through a rice parameter deriving process performed with an input of the colour component cIdx, the luma position (x0, y0), the current coefficient scan position (xC, yC), the log 2TbWidth as the binary logarithm of the width of the transform block, and the log 2TbHeight as the binary logarithm of the height of the transform block. The rice parameter deriving process will be described below in detail.

In addition, for example, cMax for the dec_abs_level[n] may be derived based on the rice parameter cRiceParam. The cMax may be derived as shown in the following table.

cMax=6<<cRiceParam   [Equation 15]

Meanwhile, binarization for the dec_abs_level[n], that is, a bin string for the dec_abs_level[n], may be concatenation of a prefix bin string and a suffix bin string in the presence of the suffix bin string. In addition, in the absence of the suffix bin string, the bin string for the dec_abs_level[n] may be the prefix bin string.

For example, the prefix bin string may be derived as described below.

A prefix value prefixVal of the dec_abs_level[n] may be derived as shown in the following equation.

prefixVal=Min(cMax, dec_abs_level[n])   [Equation 16]

A prefix of the bin string (i.e., a prefix bin string) of the dec_abs_level[n] may be derived through a TR binarization process for the prefixVal, in which the cMax and the cRiceParam are used as an input.

If the prefix bin string is identical to a bit string in which all bits are 1 and a bit length is 6, a suffix bin string of the bin string of the dec_abs_level[n] may exist, and may be derived as described below.

The rice parameter deriving process for the dec_abs_level[n] may be as follows.

An input of the rice parameter deriving process may be a colour component index cIdx, a luma position (x0, y0), a current coefficient scan position (xC, yC), log 2TbWidth as a binary logarithm of a width of a transform block, and log 2TbHeight as a binary logarithm of a height of the transform block. The luma position (x0, y0) may indicate a top-left sample of a current luma transform block based on a top-left luma sample of a picture. In addition, an output of the rice parameter deriving process may be the rice parameter cRiceParam.

For example, a variable locSumAbs may be derived similarly to a pseudo code disclosed in the following table, based on an array AbsLevel[x][y] for a transform block having the given component index cIdx and the top-left luma position (x0, y0).

TABLE 14 locSumAbs = 0 if( xC < (1 << log2TbWidth) − 1 ) {  locSumAbs += AbsLevel[ xC + 1 ][ yC ]  if( xC < (1 << log2TbWidth) − 2 )   locSumAbs += AbsLevel[ xC + 2 ][ yC ]  if( yC < (1 << log2TbHeight) − 1 )   locSumAbs += AbsLevel[ xC + 1 ][ yC + 1 ] (1532) } if( yC < (1 << log2TbHeight) − 1 ) {  locSumAbs += AbsLevel[ xC ][ yC + 1 ]  if( yC < (1 << log2TbHeight) − 2 )   locSumAbs += AbsLevel[ xC ] [ yC + 2 ] } locSumAbs = Clip3( 0, 31, locSumAbs − baseLevel * 5 )

Then, based on the given variable locSumAbs, the rice parameter cRiceParam may be derived as shown in the following table.

TABLE 15 locSumAbs 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 cRiceParam 0 0 0 0 0 0 0 1 1 1 1 1 1 1 2 2 locSumAbs 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 cRiceParam 2 2 2 2 2 2 2 2 2 2 2 2 3 3 3 3

Also, for example, in the rice parameter derivation process for dec_abs_level[n], the baseLevel may be set to 0, and the ZeroPos[n] may be derived as follows.

ZeroPos[n]=(QState<2?1:2)<<cRiceParam   [Equation 17]

In addition, a suffix value suffixVal of the dec_abs_level[n] may be derived as shown in the following equation.

suffixVal=dec_abs_level[n]−cMax   [Equation 18]

A suffix bin string of the bin string of the dec_abs_level[n] may be derived through a limited EGk binarization process for the suffixVal in which k is set to cRiceParam+1, truncSuffixLen is set to 15, and maxPreExtLen is set to 11.

On the other hand, in lossless coding, processing that may cause information loss in an image coding system, such as transform and quantization, may be modified and/or bypassed. For example, coding techniques that cause information loss: at least one of high frequency zero-out, joint Cb Cr, sign data hiding, LMCS, and/or (inverse) transform; (inverse) quantization may not be applied. That is, in other words, the lossless coding may refer to coding to which at least one of high frequency zero-out, joint Cb Cr, sign data hiding, LMCS, and/or (inverse) transform and (inverse) quantization is not applied to residual information coding.

Alternatively, when the lossless coding is applied, the decoded image may be the same as the original image, and thus, in-loop filtering that may introduce unwanted distortion may not be necessary. Accordingly, the embodiment of the present disclosure proposes a method of signaling information on whether High Level Syntax (HLS) or lossless coding is used in units of blocks. That is, according to an embodiment of the present disclosure, information on whether the lossless coding is used in HLS or block units may be signaled.

In one embodiment, a syntax element sps_transquant_bypass_enabled_flag indicating whether the lossless coding is applied, i.e., whether processing causing information loss is bypassed, may be transmitted in a sequence parameter set (SPS). Here, the above-described method is an example, and the sps_transquant_bypass_enabled_flag may be called by other names such as transquant_bypass_enabled_flag, and may be signaled in an HLS (e.g., video parameter set (VPS), picture parameter set (PPS)), a slice header, etc.) other than the SPS. For example, the sps_transquant_bypass_enabled_flag may indicate that the lossless coding is enable for picture(s) and block(s) included in a sequence associated with the corresponding SPS.

For example, the syntax element sps_transquant_bypass_enabled_flag may be signaled through a slice header as described above. In this case, for example, the sps_transquant_bypass_enabled_flag may represent a residual coding method of a transform skip block in the current slice. Here, the transform skip block may represent a block in which the transform is not applied to the residual sample. That is, for example, sps_transquant_bypass_enabled_flag having a value of 1 may represent that lossless coding is enable for a transform skip block in the current slice, and sps_transquant_bypass_enabled_flag having a value of 0 may represent that lossless coding is not enable for a transform skip block in the current slice. Accordingly, for example, sps_transquant_bypass_enabled_flag having a value of 1 may represent that syntax elements of Transform Skip Residual Coding (TSRC) are parsed for a transform skip block in the current slice, and sps_transquant_bypass_enabled_flag having a value of 0 may represent that syntax elements of Regular Residual Coding (RRC) are parsed for a transform skip block within the current slice. In other words, for example, when the value of sps_transquant_bypass_enabled_flag is 1, syntax elements of transform skip residual coding for a transform skip block in the current slice may be parsed, and when the value of sps_transquant_bypass_enabled_flag is 0, syntax elements of regular residual coding for the transform skip block in the current slice may be parsed. Here, the syntax elements of the regular residual coding may be as shown in Table 3 above, and the syntax elements of the transform skip residual coding may be as shown in Table 4 above.

Alternatively, for example, sps_transquant_bypass_enabled_flag having a value of 1 may represent that lossless coding is not enable for a transform skip block in the current slice, and sps_transquant_bypass_enabled_flag having a value of 0 may represent that lossless coding is enable for a transform skip block in the current slice. That is, for example, sps_transquant_bypass_enabled_flag having a value of 1 may represent that syntax elements of Regular Residual Coding (RRC) for a transform skip block in the current slice are parsed, and sps_transquant_bypass_enabled_flag having a value of 0 may represent that syntax elements of Transform Skip Residual Coding (TSRC) for a transform skip block in the current slice are parsed. In other words, for example, when the value of sps_transquant_bypass_enabled_flag is 1, syntax elements of Regular Residual Coding (RRC) for the transform skip block in the current slice may be parsed, and when the value of the sps_transquant_bypass_enabled_flag is 0, the syntax elements of Transform Skip Residual Coding (TSRC) for the transform skip block in the current slice may be parsed.

Meanwhile, for example, the SPS syntax according to the above-described embodiment may be as shown in the following table

TABLE 16 Descriptor seq_parameter_set_rbsp( ) {   sps_decoding_parameter_set_id u(4)   sps_video_parameter_set_id u(4)   sps_max_sub_layers_minus1 u(3)   sps_reserved_zero_5bits u(5)   profile_tier_level( sps_max_sub_layers_minus1 )   gra_enabled_flag u(1)  ...  sps_transquant_bypass_enabled_flag u(1)   if(sps_transquant_bypass_enabled_flag)    sps_transquant_bypass_residual_coding_flag u(1)  ...   sps_transform_skip_enabled_flag u(1)   if( sps_transform_skip_enabled_flag )    sps_bdpcm_enabled_flag u(1)  ...   sps_extension_flag u(1)   if( sps_extension_flag )    while( more_rbsp_data( ) )     sps_extension_data_flag u(1)   rbsp_trailing_bits( ) }

Also, for example, the semantics of the syntax elements of the above-described embodiment among the syntax elements of the SPS syntax may be expressed as shown in the following table.

TABLE 17 sps_transquant_bypass_enabled_flag equal to 1 specifies that cu_transquant_bypass_flag is present. sps_transquant_bypass_enabled_flag equal to 0 specifies that cu_transquant_bypass_flag is not present. sps_transquant_bypass_residual_coding_flag equal to 1 specifies that residual_ts_coding( ) is applied when sps_tranquant_bypass_enabled_flag is 1; equal to 0 specifies that residual_coding( ) is applied when sps_tranquant_bypass_enabled_flag is 1.

For example, the sps_transquant_bypass_enabled_flag may represent that the lossless coding is enable for picture(s) and block(s) included in a sequence associated with the corresponding SPS. Also, for example, the sps_transquant_bypass_enabled_flag may represent whether cu_transquant_bypass_flag, which will be described later, is present. Also, for example, when the value of sps_transquant_bypass_enabled_flag is 1, syntax element sps_transquant_bypass_residual_coding_flag may be signaled. For example, the syntax element sps_transquant_bypass_residual_coding_flag may represent whether syntax elements of Regular Residual Coding (RRC) are parsed. For example, sps_transquant_bypass_residual_coding_flag having a value of 1 may represent that syntax elements of Transform Skip Residual Coding (TSRC) are parsed, and sps_transquant_bypass_residual_coding_flag having a value of 0 may represent that the syntax elements of TSRC are parsed.

Also, for example, when the lossless coding is applied, that is, when the syntax element sps_transquant_bypass_enabled_flag is 1, sps_transquant_bypass_residual_coding_flag that determines a residual data coding method of lossless coding may be transmitted. When the value of sps_transquant_bypass_residual_coding_flag is 1, residual_ts_coding( ) shown in Table 4 above may be used as the residual data coding method, and when the value of sps_transquant_bypass_residual_coding_flag is 0, residual_coding( ) shown in Table 3 above may be used as a residual data coding method. In other words, for example, sps_transquant_bypass_residual_coding_flag having a value of 1 may indicate that syntax elements of Transform Skip Residual Coding (TSRC) are parsed, and sps_transquant_bypass_residual_coding_flag having a value of 0 may indicate that the syntax elements of TSRC are parsed. For example, when the value of sps_transquant_bypass_residual_coding_flag is 0, the syntax elements of Regular Residual Coding (RRC) for the picture(s) and block(s) included in the sequence associated with the syntax (e.g., SPS, VPS, PPS, or slice header) in which the sps_transquant_bypass_residual_coding_flag is signaled may be parsed, and when the value of sps_transquant_bypass_residual_coding_flag is 1, syntax elements of Transform Skip Residual Coding (TSRC) for the picture(s) and block(s) included in the sequence associated with the syntax (e.g., SPS, VPS, PPS, or slice header) in which the sps_transquant_bypass_residual_coding_flag is signaled may be parsed. Meanwhile, for example, sps_transquant_bypass_residual_coding_flag may be called another name such as transquant_bypass_residual_coding_flag, and may be signaled by SPS syntax, VPS syntax, PPS syntax, slice header syntax, or CU syntax (or CTU syntax).

For example, the syntax element sps_transquant_bypass_residual_coding_flag may be signaled through a slice header as described above. In this case, for example, the sps_transquant_bypass_residual_coding_flag may represent a residual coding method of a block in the current slice. That is, for example, sps_transquant_bypass_residual_coding_flag having a value of 1 may represent that lossless coding is not used for a block in the current slice, and sps_transquant_bypass_residual_coding_flag having a value of 0 may represent that lossless coding is used for a block in the current slice. For example, sps_transquant_bypass_residual_coding_flag having a value of 1 may represent that syntax elements of Regular Residual Coding (RRC) for a block in the current slice are parsed, and sps_transquant_bypass_residual_coding_flag having a value of 0 may represent that syntax elements of Transform Skip Residual Coding (TSRC) for a block within the current slice are parsed. In other words, for example, when the value of sps_transquant_bypass_residual_coding_flag is 1, syntax elements of Regular Residual Coding (RRC) for a block in the current slice may be parsed, and when the value of sps_transquant_bypass_residual_coding_flag is 0, syntax elements of Transform Skip Residual Coding (TSRC) for a block within the current slice may be parsed. Here, the syntax elements of the regular residual coding may be as shown in Table 3 above, and the syntax elements of the transform skip residual coding may be as shown in Table 4 above.

Alternatively, for example, sps_transquant_bypass_residual_coding_flag having a value of 0 may represent that lossless coding is not used for a block in the current slice, and sps_transquant_bypass_residual_coding_flag having a value of 1 may represent that lossless coding is used for a block in the current slice. That is, for example, sps_transquant_bypass_residual_coding_flag having a value of 0 may represent that syntax elements of Regular Residual Coding (RRC) for a block in the current slice are parsed, and sps_transquant_bypass_residual_coding_flag having a value of 1 may represent that syntax elements of Transform Skip Residual Coding (TSRC) for a block within the current slice are parsed. In other words, for example, when the value of sps_transquant_bypass_residual_coding_flag is 0, syntax elements of Regular Residual Coding (RRC) for a block in the current slice may be parsed, and when the value of sps_transquant_bypass_residual_coding_flag is 1, syntax elements of Transform Skip Residual Coding (TSRC) for a block within the current slice may be parsed.

In addition, for example, sps_transquant_bypass_enabled_flag may be signaled in SPS syntax, and transquant_bypass_residual_coding_flag may be signaled in PPS syntax or slice header syntax. In this case, transquant_bypass_residual_coding_flag may be referred to as pps_transquant_bypass_residual_coding_flag, slice_transquant_bypass_residual_coding_flag, or the like.

In addition, as an embodiment of the present disclosure, a method of signaling a syntax element cu_transquant_bypass_flag indicating whether lossless coding is used in units of coding units (CUs) may be proposed. That is, for example, the syntax element cu_transquant_bypass_flag may represent whether lossless coding is used for the current block. Here, the current block may be a CU.

For example, cu_transquant_bypass_flag having a value of 1 may represent that lossless coding is not used for the current block, and cu_transquant_bypass_flag having a value of 0 may represent that lossless coding is used for the current block. That is, for example, cu_transquant_bypass_flag having a value of 1 may represent that syntax elements of Regular Residual Coding (RRC) for a block in the current slice are parsed, and sps_transquant_bypass_residual_coding_flag having a value of 0 may represent that syntax elements of Transform Skip Residual Coding (TSRC) for a block within the current slice are parsed. In other words, for example, when the value of the cu_transquant_bypass_flag is 1, syntax elements of Regular Residual Coding (RRC) for the current block may be parsed, and when the value of the cu_transquant_bypass_flag is 0, syntax elements of Transform Skip Residual Coding (TSRC) for the current block may be parsed. Here, the syntax elements of the regular residual coding may be as shown in Table 3 above, and the syntax elements of the transform skip residual coding may be as shown in Table 4 above.

Alternatively, for example, cu_transquant_bypass_flag having a value of 0 may represent that lossless coding is not used for the current block, and cu_transquant_bypass_flag having a value of 1 may represent that lossless coding is used for the current block. That is, for example, cu_transquant_bypass_flag having a value of 1 may represent that syntax elements of Regular Residual Coding (RRC) for a block in the current slice are parsed, and sps_transquant_bypass_residual_coding_flag having a value of 0 may represent that syntax elements of Transform Skip Residual Coding (TSRC) for a block within the current slice are parsed. In other words, for example, when the value of the cu_transquant_bypass_flag is 0, syntax elements of Regular Residual Coding (RRC) for the current block may be parsed, and when the value of the cu_transquant_bypass_flag is 1, syntax elements of Transform Skip Residual Coding (TSRC) for the current block may be parsed. On the other hand, when lossless coding is typically applied, processing blocks that cause loss may be bypassed. Accordingly, for example, in the lossless coding, since the transform technique that can cause loss is not applied, when cu_transquant_bypass_flag is 1 (that is, when cu_transquant_bypass_flag indicates that lossless coding is used for the current block), the syntax element transform_skip_flag (i.e., transform skip flag) indicating whether transform is skipped may not be transmitted.

On the other hand, for example, the cu_transquant_bypass_flag may be present when the value of the sps_transquant_bypass_enabled_flag is 1, and when the value of the sps_transquant_bypass_enabled_flag is 0, the cu_transquant_bypass_flag may not be explicitly included in the image/video information (i.e., CU syntax). That is, for example, the sps_transquant_bypass_enabled_flag may indicate whether the cu_transquant_bypass_flag is present.

For example, the coding unit syntax according to the above-described embodiment may be as shown in the following table.

TABLE 18 Descriptor coding_unit( x0, y0, cbWidth, cbHeight, treeType ) {  if(sps_transquant_bypass_enable_flag)   cu_transquant_bypass_flag ae(v)  ..... }

In addition, for example, a transform unit syntax in which the sps_transquant_bypass_residual_coding_flag proposed in an embodiment of the present disclosure is considered may be as shown in the following table

TABLE 19 Descriptor  transform_unit( x0, y0, tbWidth, tbHeight, treeType, subTuIndex ) {  ...  if( tu_cbf_luma[ x0 ][ y0 ] ) {   if(cu_transquant_bypass_flag) {    if(sps_alternative_residual_coding_flag)    residual_ts_coding( x0, y0, Log2( tbWidth ), Log2( tbHeight ), 0 )    else     residual_coding( x0, y0, Log2( tbWidth ), Log2( tbHeight ), 0 ) }    else{    if( !transform_skip_flag[ x0 ][ y0 ] )    residual_coding( x0, y0, Log2( tbWidth ), Log2( tbHeight ), 0 )   else    residual_ts_coding( x0, y0, Log2( tbWidth ), Log2( tbHeight ), 0 )   }  }  if( tu_cbf_cb[ x0 ][ y0 ] )   residual_coding( xC, yC, Log2( wC ), Log2( hC ), 1 )  if( tu_cbf_cr[ x0 ][ y0 ] ) {   if( tu_cbf_cb[ x0 ][ y0 ] )    tu_joint_cbcr_residual[ x0 ][ y0 ] ae(v)   if( !tu_joint_cbcr_residual[ x0 ][ y0 ] )    residual_coding( xC, yC, Log2( wC ), Log2( hC ), 2 )   }  }

Referring to Table 19, when the value of sps_transquant_bypass_residual_codng_flag is 1, the residual data coding method of Table 4 described above (i.e., TSRC) for the current block related to the sps_transquant_bypass_residual_codng_flag may be used. That is, when sps_transquant_bypass_residual_codng_flag represents that Transform Skip Residual Coding (TSRC) is used, the residual data coding method of Table 4 described above (i.e., TSRC) for the current block related to the sps_transquant_bypass_residual_codng_flag may be used.

Alternatively, for example, a transform skip residual data coding method for a transform skip block as shown in the following table may be used.

TABLE 20 Descriptor residual_ts_coding( x0, y0, log2TbWidth, log2TbHeight, cIdx ) {  log2SbSize = ( Min( log2TbWidth, log2TbHeight ) < 2 ? 1 : 2 )  numSbCoeff = 1 << ( log2SbSize << 1 )  lastSubBlock = ( 1 << ( log2TbWidth + log2TbHeight − 2 * log2SbSize ) ) − 1  inferSbCbf = 1  MaxCcbs = 2 * ( 1 << log2TbWidth ) * ( 1<< log2TbHeight )  for( i =0; i <= lastSubBlock; i++ ) {   xS = DiagScanOrder[ log2TbWidth − log2SbSize ][ log2TbHeight − log2SbSize ][ i ][ 0 ]   yS = DiagScanOrder[ log2TbWidth − log2SbSize ][ log2TbHeight − log2SbSize ][ i ][ 1 ]   if( ( i != lastSubBlock | | !inferSbCbf ) {    coded_sub_block_flag[ xS ][ yS ] ae(v)    MaxCcbs− −   }   if( coded_sub_block_flag[ xS ][ yS ] && i < lastSubBlock )    inferSbCbf = 0  /* First scan pass */   inferSbSigCoeffFlag = 1   for( n = 0; n <= numSbCoeff − 1; n++ ) {    xC = ( xS << log2SbSize ) + DiagScanOrder[ log2SbSize ][ log2SbSize ][ n ][ 0 ]    yC = ( yS << log2SbSize ) + DiagScanOrder[ log2SbSize ][ log2SbSize ][ n ][ 1 ]    if( coded_sub_block_flag[ xS ][ yS ] &&     ( n != numSbCoeff − 1 | | !inferSbSigCoeffFlag ) ) {     sig_coeff_flag[ xC ][ yC ] ae(v)     MaxCcbs− −     if( sig_coeff_flag[ xC ][ yC ] )      inferSbSigCoeffFlag = 0    }    if( sig_coeff_flag[ xC ][ yC ] {     coeff_sign_flag[ n ] ae(v)     MaxCcbs− −     abs_level_gtx_flag[ n ][ 0 ] ae(v)     MaxCcbs− −     if( abs_level_gtx_flag[ n ][ 0 ] ) {      par_level_flag[ n ] ae(v)      MaxCcbs− −     }    }    AbsLevelPassX[ xC ][ yC ] =      sig_coeff_flag[ xC ][ yC ] + par_level_flag[ n ] + abs_level_gtx_flag[ n ][ 0 ]   }  /* Greater than X scan passes (numGtXFlags=5) */   for( j = 1; i < 5; j++ ) {    for( n = 0; n <= numSbCoeff − 1; n++ ) {     xC = ( xS << log2SbSize ) + DiagScanOrder[ log2SbSize ][ log2SbSize ][ n ][ 0 ]     yC = ( yS << log2SbSize ) + DiagScanOrder[ log2SbSize ][ log2SbSize ][ n ][ 1 ]     if( abs_level_gtx_flag[ n ][ j − 1 ] )      abs_level_gtx_flag[ n ][ j ] ae(v)     MaxCcbs− −     AbsLevelPassX[ xC ][ yC ] + = 2 * abs_level_gtx_flag[ n ][ j ]    }   }  /* remainder scan pass */   for( n = 0; n <= numSbCoeff − 1: n++ ) {    xC = ( xS << log2SbSize ) + DiagScanOrder[ log2SbSize ][ log2SbSize ][ n ][ 0 ]    yC = ( yS << log2SbSize ) + DiagScanOrder[ log2SbSize ][ log2SbSize ][ n ][ 1 ]    if( abs_level_gtx_flag[ n ][ 4 ] )     abs_remainder[ n ] ae(v)    TransCoeffLevel[ x0 ][ y0 ][ cIdx ][ xC ][ yC ] = ( 1 − 2 * coeff_sign_flag[ n ] ) *       ( AbsLevelPassX[ xC ][ yC ] + abs_remainder[ n ] )   }  } }

In addition, referring to Table 19, when the value of sps_transquant_bypass_residual_codng_flag is 0, the residual data coding method of Table 3 described above (i.e., RRC) for the current block related to the sps_transquant_bypass_residual_codng_flag may be used. That is, when sps_transquant_bypass_residual_codng_flag represents that Regular Residual Coding (RRC) is used, the residual data coding method of Table 3 described above (i.e., RRC) for the current block related to the sps_transquant_bypass_residual_codng_flag may be used. Here, even in the case where the value of the transform skip flag of the current block is 1 (that is, when the transform skip flag indicates that no transform is applied), when the sps_transquant_bypass_residual_codng_flag represents that Regular Residual Coding (RRC) is used, syntax elements for regular residual coding as shown in Table 3 may be parsed. In other words, when sps_transquant_bypass_residual_codng_flag represents that Regular Residual Coding (RRC) is used, the residual data coding method of Table 3 described above (i.e., RRC) for a current block that is a transform skip block may be used.

Alternatively, for example, a regular residual data coding method for a transform skip block as shown in the following table may be used.

TABLE 21 Descriptor residual_coding( x0, y0, log2TbWidth, log2TbHeight, cIdx ) {  if( ( tu_mts_idx[ x0 ][ y0 ] > 0 | |    ( cu_sbt_flag && log2TbWidth < 6 && log2TbHeight < 6 ) )    && cIdx = = 0 && log2TbWidth > 4 )   log2ZoTbWidth = 4  else   log2ZoTbWidth = Min( log2TbWidth, 5 )  MaxCcbs = 2 * ( 1 << log2TbWidth ) * ( 1<< log2TbHeight )  if( tu_mts_idx[ x0 ][ y0 ] > 0 | |    ( cu_sbt_flag && log2TbWidth < 6 && log2TbHeight < 6 ) )    && cIdx = = 0 && log2TbHeight > 4 )   log2ZoTbHeight = 4  else   log2ZoTbHeight = Min( log2TbHeight, 5 )  if( log2TbWidth > 0 )   last_sig_coeff_x_prefix ae(v)  if( log2TbHeight > 0 )   last_sig_coeff_y_prefix ae(v)  if( last_sig_coeff_x_prefix > 3 )   last_sig_coeff_x_suffix ae(v)  if( last_sig_coeff_y_prefix > 3 )   last_sig_coeff_y_suffix ae(v)  log2TbWidth = log2ZoTbWidth  log2TbHeight = log2ZoTbHeight  log2SbW = ( Min( log2TbWidth, log2TbHeight ) < 2 ? 1 : 2 )  log2SbH = log2SbW  if( log2TbWidth + log2TbHeight > 3 ) {   if( log2TbWidth < 2 ) {    log2SbW = log2TbWidth    log2SbH = 4 − log2SbW   } else if( log2TbHeight < 2 ) {    log2SbH = log2TbHeight    log2SbW = 4 − log2SbH   }  }  numSbCoeff = 1 << ( log2SbW + log2SbH )  lastScanPos = numSbCoeff  lastSubBlock = ( 1 << ( log2TbWidth + log2TbHeight − ( log2SbW + log2SbH ) ) ) − 1  do {   if( lastScanPos = = 0 ) {    lastScanPos = numSbCoeff    lastSubBlock− −   }   lastScanPos− −   xS = DiagScanOrder[ log2TbWidth − log2SbW ][ log2TbHeight − log2SbH ]         [ lastSubBlock ][ 0 ]   yS = DiagScanOrder[ log2TbWidth − log2SbW ][ log2TbHeight − log2SbH ]         [ lastSubBlock ][ 1 ]   xC = ( xS << log2SbW) + DiagScanOrder[ log2SbW ][ log2SbH ][ lastScanPos ][ 0 ]   yC = ( yS << log2SbH ) + DiagScanOrder[ log2SbW ][ log2SbH ][ lastScanPos ][ 1 ]  } while( ( xC != LastSignificantCoeffX ) | | ( yC != LastSignificantCoeffY ) )  QState = 0  for( i = lastSubBlock; i >= 0; i− − ) {   startQStateSb = QState   xS = DiagScanOrder[ log2TbWidth − log2SbW ][ log2TbHeight − log2SbH ]         [ i ][ 0 ]   yS = DiagScanOrder[ log2TbWidth − log2SbW ][ log2TbHeight − log2SbH ]         [ i ][ 1 ]   inferSbDcSigCoeffFlag = 0   if( ( i < lastSubBlock ) && ( i > 0 ) ) {    coded_sub_block_flag[ xS ][ yS ] ae(v)    inferSbDcSigCoeffFlag = 1   }   firstSigScanPosSb = numSbCoeff   lastSigScanPosSb = −1   remBinsPass1 = ( ( log2SbW + log2SbH ) < 4 ? 8 : 32 )   firstPosMode0 = ( i = = lastSubBlock ? lastScanPos : numSbCoeff − 1 )   firstPosMode1 = −1   for( n = firstPosMode0; n >= 0 && remBinsPass1 >= 4; n− − ) {    xC = ( xS << log2SbW ) + DiagScanOrder[ log2SbW ][ log2SbH ][ n ][ 0 ]    yC = ( yS << log2SbH ) + DiagScanOrder[ log2SbW ][ log2SbH ][ n ][ 1 ]    if( coded_sub_block_flag[ xS ][ yS ] && ( n > 0 | | !inferSbDcSigCoeffFlag ) &&     ( xC != LastSignificantCoeffX | | yC != Last SignificantCoeffY ) ) {     sig_coeff_flag[ xC ][ yC ] ae(v)     remBinsPass1− −     if( sig_coeff_flag[ xC ][ yC ] )      inferSbDcSigCoeffFlag = 0    }    if( sig_coeff_flag[ xC ][ yC ] ) {     if( !transform_skip_flag[ x0 ][ y0 ] ) {      numSigCoeff++      if( ( n >= 8 && i = = 0 && ( log2TbWidth = = 2 | | log2TbWidth = = 3 )       && ( log2TbWidth = = log2TbHeight ) ) | | ( ( i = = 1 | | i = = 2 )       && log2TbWidth >= 3 && log2TbHeight >= 3 ) )       numZeroOutSigCoeff++     }     abs_level_gtx_flag[ n ][ 0 ] ae(v)     remBinsPass1− −     if( abs_level_gtx_flag[ n ][ 0 ] ) {      par_level_flag[ n ] ae(v)      remBinsPass1− −      abs_level_gtx_flag[ n ][ 1 ] ae(v)      remBinsPass1− −     }     if( lastSigScanPosSb = = −1 )      lastSigScanPosSb = n     firstSigScanPosSb = n   }   AbsLevelPass1[ xC ][ yC ] = sig_coeff_flag[ xC ][ yC ] + par_level_flag[ n ] +           abs_level_gtx_flag[ n ][ 0 ] + 2 * abs_level_gtx_flag[ n ][ 1 ]    if( dep_quant_enabled_flag )     QState = QStateTransTable[ QState ][ AbsLevelPass1[ xC ][ yC ] & 1 ]    if( remBinsPass1 < 4 )     firstPosMode1 = n − 1   }   for( n = numSbCoeff − 1; n >= firstPosMode1; n− − ) {    xC = ( xS << log2SbW ) + DiagScanOrder[ log2SbW ][ log2SbH ][ n ][ 0 ]    yC = ( yS << log2SbH ) + DiagScanOrder[ log2SbW ][ log2SbH ][ n ][ 1 ]    if( abs_level_gtx_flag[ n ][ 1 ] )     abs_remainder[ n ] ae(v)    AbsLevel[ xC ][ yC ] = AbsLevelPass1[ xC ][ yC ] +2 * abs_remainder[ n ]   }   for( n = firstPosMode1; n >= 0; n− − ) {    xC = ( xS << log2SbW ) + DiagScanOrder[ log2SbW ][ log2SbH ][ n ][ 0 ]    yC = ( yS << log2SbH ) + DiagScanOrder[ log2SbW ][ log2SbH ][ n ][ 1 ]    dec_abs_level[ n ] ae(v)    if(AbsLevel[ xC ][ yC ] > 0 )     firstSigScanPosSb = n    if( dep_quant_enabled_flag )     QState = QStateTransTable[ QState ][ AbsLevel[ xC ][ yC ] & 1 ]   }   if( dep_quant_enabled_flag | | !sign_data_hiding_enabled_flag )    signHidden = 0   else    signHidden = ( lastSigScanPosSb − firstSigScanPosSb > 3 ? 1 : 0 )   for( n= numSbCoeff − 1; n >= 0; n− − ) {    xC = ( xS << log2SbW ) + DiagScanOrder[ log2SbW ][ log2SbH ][ n ][ 0 ]    yC = ( yS << log2SbH ) + DiagScanOrder[ log2SbW ][ log2SbH ][ n ][ 1 ]    if( ( AbsLevel[ xC ][ yC ] > 0 ) &&     ( !signHidden | | ( n != firstSigScanPosSb ) ) )     coeff_sign_flag[ n ] ae(v)   }   if( dep_quant_enabled_flag ) {    QState = startQStateSb    for( n = numSbCoeff − 1; n >= 0; n− − ) {     xC = ( xS << log2SbW ) + DiagScanOrder( log2SbW ][ log2SbH ][ n ][ 0 ]     yC = ( yS << log2SbH ) + DiagScanOrder( log2SbW ][ log2SbH ][ n ][ 1 ]     if( AbsLevel[ xC ][ yC ] > 0 )      TransCoeffLevel[ x0 ][ y0 ][ cIdx ][ xC ][ yC ] =        ( 2 * AbsLevel[ xC ][ yC ] − ( QState > 1 ? 1 : 0 ) ) *        ( 1 − 2 * coeff_sign_flag[ n ] )     QState = QStateTransTable[ QState ][ par_level_flag[ n ] ]   } else    sumAbsLevel = 0    for( n= numSbCoeff − 1; n >= 0; n− − ) {     xC = ( xS << log2SbW ) + DiagScanOrder[ log2SbW ][ log2SbH ][ n ][ 0 ]     yC = ( yS << log2SbH ) + DiagScanOrder[ log2SbW ][ log2SbH ][ n ][ 1 ]     if( AbsLevel[ xC ][ yC ] > 0 ) {      TransCoeffLevel[ x0 ][ y0 ][ cIdx ][ xC ][ yC ] =        AbsLevel[ xC ][ yC ] * ( 1 − 2 * coeff_sign_flag[ n ] )      if( signHidden ) {       sumAbsLevel += AbsLevel[ xC ][ yC ]       if( ( n = = firstSigScanPosSb ) && ( sumAbsLevel % 2 ) = = 1 ) )        TransCoeffLevel[ x0 ][ y0 ][ cIdx ][ xC ][ yC ] =          −TransCoeffLevel[ x0 ][ y0 ][ cIdx ][ xC ][ yC ]      }     }    }   }  } }

Meanwhile, as described above, the information (syntax element) in the syntax table disclosed in the present disclosure may be included in image/video information, configured/encoded in the encoding apparatus, and transmitted to the decoding apparatus in the form of a bitstream. The decoding apparatus may parse/decode information (syntax element) in the corresponding syntax table. The decoding apparatus may perform a block/image/video procedure based on the decoded information. Hereinafter, the same applies to other examples.

Also, as an embodiment, a syntax element pps_transquant_bypass_enabled_flag indicating whether to apply lossless coding, i.e., whether to bypass processing causing information loss may be transmitted in a picture parameter set (PPS). Here, the above-described method is an example, and the pps_transquant_bypass_enabled_flag may be called by other names such as transquant_bypass_enabled_flag, and may be signaled in an HLS (e.g., video parameter set (VPS), picture parameter set (PPS)), a slice header, etc.) other than the PPS. For example, the pps_transquant_bypass_enabled_flag may represent that the lossless coding is enable for picture(s) and block(s) included in a sequence associated with the corresponding PPS.

Meanwhile, for example, the PPS syntax according to the above-described embodiment may be as shown in the following table

TABLE 22 Descriptor pic_parameter_set_rbsp( ) {  pps_pic_parameter_set_id ue(v)  pps_seq_parameter_set_id ue(v)  output_flag_present_flag u(1)  single_tile_in_pic_flag u(1)  ...  pps_transquant_bypass_enabled_flag u(1)  if(pps_transquant_bypass_enabled_flag)   pps_transquant_bypass_residual_coding_flag u(1)  ...  pps_extension_flag u(1)  if( pps_extension_flag )    while( more_tbsp_data( ) )     pps_extension_data_flag u(1)  rbsp_trailing_bits( ) }

Also, for example, the semantics of the syntax elements of the above-described embodiment among the syntax elements of the PPS syntax may be expressed as shown in the following table.

TABLE 23 pps_transquant_bypass_enabled_flag equal to 1 specifies that cu_transquant_bypass_flag is present. pps_transquant_bypass_enabled_flag equal to 0 specifies that cu_transquant_bypass_flag is not present. pps_transquant_bypass_residual_coding_flag equal to 1 specifies that residual_ts_coding( ) is applied when pps_tranquant_bypass_enabled_flag is 1; equal to 0 specifies that residual_coding( ) is applied when pps_tranquant_bypass_enabled_flag is 1.

For example, the pps_transquant_bypass_enabled_flag may represent that the lossless coding is enable for picture(s) and block(s) included in a sequence associated with the corresponding PPS. Also, for example, the pps_transquant_bypass_enabled_flag may represent whether cu_transquant_bypass_flag, which will be described later, is present. Also, for example, when the value of pps_transquant_bypass_enabled_flag is 1, syntax element pps_transquant_bypass_residual_coding_flag may be signaled. For example, the syntax element pps_transquant_bypass_residual_coding_flag may represent whether syntax elements of Regular Residual Coding (RRC) are parsed. For example, pps_transquant_bypass_residual_coding_flag having a value of 1 may represent that syntax elements of Transform Skip Residual Coding (TSRC) are parsed, and pps_transquant_bypass_residual_coding_flag having a value of 0 may represent that the syntax elements of TSRC are parsed.

Also, for example, when the lossless coding is applied, that is, when the syntax element pps_transquant_bypass_enabled_flag is 1, pps_transquant_bypass_residual_coding_flag that determines a residual data coding method of lossless coding may be transmitted. When the value of pps_transquant_bypass_residual_coding_flag is 1, residual_ts_coding( ) shown in Table 4 above may be used as the residual data coding method, and when the value of pps_transquant_bypass_residual_coding_flag is 0, residual_coding( ) shown in Table 3 above may be used as a residual data coding method. In other words, for example, pps_transquant_bypass_residual_coding_flag having a value of 1 may represent that syntax elements of Transform Skip Residual Coding (TSRC) are parsed, and pps_transquant_bypass_residual_coding_flag having a value of 0 may represent that the syntax elements of the Regular Residual Coding are parsed. For example, when the value of pps_transquant_bypass_residual_coding_flag is 0, the syntax elements of Regular Residual Coding (RRC) for the picture(s) and block(s) included in the sequence associated with the syntax (e.g., SPS, VPS, PPS, or slice header) in which the pps_transquant_bypass_residual_coding_flag is signaled may be parsed, and when the value of pps_transquant_bypass_residual_coding_flag is 1, syntax elements of Transform Skip Residual Coding (TSRC) for the picture(s) and block(s) included in the sequence associated with the syntax (e.g., SPS, VPS, PPS, or slice header) in which the pps_transquant_bypass_residual_coding_flag is signaled may be parsed. On the other hand, for example, pps_transquant_bypass_residual_coding_flag may be called another name such as transquant_bypass_residual_coding_flag, and may be signaled by HLS (e.g., SPS syntax, VPS syntax or slice header syntax) or CU syntax (or CTU syntax) other than PPS syntax.

For example, the syntax element pps_transquant_bypass_residual_coding_flag may be signaled through a slice header as described above. In this case, for example, the pps_transquant_bypass_residual_coding_flag may represent a residual coding method of a block in the current slice. That is, for example, pps_transquant_bypass_residual_coding_flag having a value of 1 may represent that lossless coding is not used for a block in the current slice, and pps_transquant_bypass_residual_coding_flag having a value of 0 may represent that lossless coding is used for a block in the current slice. For example, pps_transquant_bypass_residual_coding_flag having a value of 1 may represent that syntax elements of Regular Residual Coding (RRC) for a block in the current slice are parsed, and pps_transquant_bypass_residual_coding_flag having a value of 0 may represent that syntax elements of Transform Skip Residual Coding (TSRC) for a block within the current slice are parsed. In other words, for example, when the value of pps_transquant_bypass_residual_coding_flag is 1, syntax elements of Regular Residual Coding (RRC) for a block in the current slice may be parsed, and when the value of pps_transquant_bypass_residual_coding_flag is 0, syntax elements of Transform Skip Residual Coding (TSRC) for a block within the current slice may be parsed. Here, the syntax elements of the regular residual coding may be as shown in Table 3 above, and the syntax elements of the transform skip residual coding may be as shown in Table 4 above.

Alternatively, for example, pps_transquant_bypass_residual_coding_flag having a value of 0 may represent that lossless coding is not used for a block in the current slice, and pps_transquant_bypass_residual_coding_flag having a value of 1 may represent that lossless coding is used for a block in the current slice. That is, for example, pps_transquant_bypass_residual_coding_flag having a value of 0 may represent that syntax elements of Regular Residual Coding (RRC) for a block in the current slice are parsed, and pps_transquant_bypass_residual_coding_flag having a value of 1 may represent that syntax elements of Transform Skip Residual Coding (TSRC) for a block within the current slice are parsed. In other words, for example, when the value of pps_transquant_bypass_residual_coding_flag is 0, syntax elements of Regular Residual Coding (RRC) for a block in the current slice may be parsed, and when the value of pps_transquant_bypass_residual_coding_flag is 1, syntax elements of Transform Skip Residual Coding (TSRC) for a block within the current slice may be parsed.

In addition, for example, pps_transquant_bypass_enabled_flag may be signaled in SPS syntax, and transquant_bypass_residual_coding_flag may be signaled in PPS syntax or slice header syntax. In this case, transquant_bypass_residual_coding_flag may be referred to as pps_transquant_bypass_residual_coding_flag, slice_transquant_bypass_residual_coding_flag, or the like.

In addition, as an embodiment of the present disclosure, a method of signaling a syntax element cu_transquant_bypass_flag representing whether lossless coding is used in units of coding units (CUs) may be proposed. That is, for example, the syntax element cu_transquant_bypass_flag may represent whether lossless coding is used for the current block. Here, the current block may be a CU.

For example, cu_transquant_bypass_flag having a value of 1 may represent that lossless coding is not used for the current block, and cu_transquant_bypass_flag having a value of 0 may represent that lossless coding is used for the current block. That is, for example, cu_transquant_bypass_flag having a value of 1 may represent that syntax elements of Regular Residual Coding (RRC) for a block in the current slice are parsed, and sps_transquant_bypass_residual_coding_flag having a value of 0 may represent that syntax elements of Transform Skip Residual Coding (TSRC) for a block within the current slice are parsed. In other words, for example, when the value of the cu_transquant_bypass_flag is 1, syntax elements of Regular Residual Coding (RRC) for the current block may be parsed, and when the value of the cu_transquant_bypass_flag is 0, syntax elements of Transform Skip Residual Coding (TSRC) for the current block may be parsed. Here, the syntax elements of the regular residual coding may be as shown in Table 3 above, and the syntax elements of the transform skip residual coding may be as shown in Table 4 above.

Alternatively, for example, cu_transquant_bypass_flag having a value of 0 may represent that lossless coding is not used for the current block, and cu_transquant_bypass_flag having a value of 1 may represent that lossless coding is used for the current block. That is, for example, cu_transquant_bypass_flag having a value of 1 may represent that syntax elements of Regular Residual Coding (RRC) for a block in the current slice are parsed, and sps_transquant_bypass_residual_coding_flag having a value of 0 may represent that syntax elements of Transform Skip Residual Coding (TSRC) for a block within the current slice are parsed. In other words, for example, when the value of the cu_transquant_bypass_flag is 0, syntax elements of Regular Residual Coding (RRC) for the current block may be parsed, and when the value of the cu_transquant_bypass_flag is 1, syntax elements of Transform Skip Residual Coding (TSRC) for the current block may be parsed. On the other hand, when lossless coding is typically applied, processing blocks that cause loss may be bypassed. Accordingly, for example, in the lossless coding, since the transform technique that can cause loss is not applied, when cu_transquant_bypass_flag is 1 (that is, when cu_transquant_bypass_flag represents that lossless coding is used for the current block), the syntax element transform_skip_flag (i.e., transform skip flag) representing whether transform is skipped may not be transmitted.

On the other hand, for example, the cu_transquant_bypass_flag may be present when the value of the pps_transquant_bypass_enabled_flag is 1, and when the value of the pps_transquant_bypass_enabled_flag is 0, the cu_transquant_bypass_flag may not be explicitly included in the image/video information (i.e., CU syntax). That is, for example, the pps_transquant_bypass_enabled_flag may represent whether the cu_transquant_bypass_flag is present.

For example, the coding unit syntax according to the above-described embodiment may be as shown in the following table.

TABLE 24 Descriptor coding_unit( x0, y0, cbWidth, cbHeight, treeType ) {  if(pps_transquant_bypass_enable_flag)   cu_transquant_bypass_flag ae(v)  ..... }

In addition, for example, a transform unit syntax in which the pps_transquant_bypass_residual_coding_flag proposed in an embodiment of the present disclosure is considered may be as shown in the following table

TABLE 25 Descriptor  transform_unit( x0, y0, tbWidth, tbHeight, treeType, subTuIndex ) {  ...   if( tu_cbf _luma[ x0 ][ y0 ] ) {    if(cu_transquant_bypass_flag) {     if(pps_alternative_residual_coding_flag)      residual_ts_coding( x0, y0, Log2( tbWidth ), Log2( tbHeight ), 0 )     else       residual_coding( x0, y0, Log2( tbWidth ), Log2( tbHeight ), 0 ) }     else{      if( !transform_skip_flag[ x0 ][ y0 ] )      residual_coding( x0, y0, Log2( tbWidth ), Log2( tbHeight ), 0 )    else      residual_ts_coding( x0, y0, Log2( tbWidth ), Log2( tbHeight ), 0 )    }   }   if( tu_cbf_cb[ x0 ][ y0 ] )    residual_coding( xC, yC, Log2( wC ), Log2( hC ), 1 )   if( tu_cbf_cr[ x0 ][ y0 ] ) {    if( tu_cbf_cb[ x0 ][ y0 ] )      tu_joint_cbcr_residual[ x0 ][ y0 ] ae(v)    if( !tu_joint_cbcr_residual[ x0 ][ y0 ] )      residual_coding( xC, yC, Log2( wC ), Log2( hC ), 2 )   }  }

Referring to Table 25, when the value of pps_transquant_bypass_residual_codng_flag is 1, the residual data coding method of Table 4 described above (i.e., TSRC) for the current block related to the pps_transquant_bypass_residual_codng_flag may be used. That is, when pps_transquant_bypass_residual_codng_flag represents that Transform Skip Residual Coding (TSRC) is used, the residual data coding method of Table 4 described above (i.e., TSRC) for the current block related to the pps_transquant_bypass_residual_codng_flag may be used. Alternatively, for example, a transform skip residual data coding method for a transform skip block as shown in the above table 20 may be used.

In addition, referring to Table 25, when the value of pps_transquant_bypass_residual_codng_flag is 0, the residual data coding method of Table 3 described above (i.e., RRC) for the current block related to the pps_transquant_bypass_residual_codng_flag may be used. That is, when pps_transquant_bypass_residual_codng_flag represents that Regular Residual Coding (RRC) is used, the residual data coding method of Table 3 described above (i.e., RRC) for the current block related to the pps_transquant_bypass_residual_codng_flag may be used. Here, even in the case where the value of the transform skip flag of the current block is 1 (that is, when the transform skip flag represents that no transform is applied), when the pps_transquant_bypass_residual_codng_flag indicates that Regular Residual Coding (RRC) is used, syntax elements for regular residual coding as shown in Table 3 may be parsed. In other words, when pps_transquant_bypass_residual_codng_flag represents that Regular Residual Coding (RRC) is used, the residual data coding method of Table 3 described above (i.e., RRC) for a current block that is a transform skip block may be used. Alternatively, for example, a regular residual data coding method for a transform skip block as shown in the above table 21 may be used.

In addition, as an embodiment of the present disclosure, when lossless coding is applied to a coding unit (CU), a method of signaling a syntax element cu_transquant_bypass_residual_coding_flag for determining a residual data coding method of lossless coding may be proposed. That is, for example, a method of signaling a syntax element cu_transquant_bypass_residual_coding_flag for determining a residual data coding method in units of CUs may be proposed.

For example, when the lossless coding is applied to a CU, that is, when the value of the syntax element cu_transquant_bypass_flag is 1, cu_transquant_bypass_residual_coding_flag for determining a residual data coding method of lossless coding may be transmitted. When the value of cu_transquant_bypass_residual_coding_flag is 1, the residual data coding method may be used for residual_ts_coding( ) shown in Table 4 as the residual coding of the current CU, and when the value of the cu_transquant_bypass_residual_coding_flag is 0, the residual data coding method may be used for residual_coding( ) shown in Table 3 as the residual coding of the current CU. In other words, for example, cu_transquant_bypass_residual_coding_flag having a value of 1 may represent that syntax elements of Transform Skip Residual Coding (TSRC) are parsed, and cu_transquant_bypass_residual_coding_flag having a value of 0 may represent that the syntax elements of the Regular Residual Coding are parsed. For example, when the value of the cu_transquant_bypass_residual_coding_flag is 0, the syntax elements of the Regular Residual Coding (RRC) associated with the CU syntax in which the cu_transquant_bypass_residual_coding_flag is signaled may be parsed, and when the value of the cu_transquant_bypass_residual_coding_flag is 1, the syntax elements of the Transform Skip Residual Coding (TSRC) for the CU associated with the CU syntax in which the cu_transquant_bypass_residual_coding_flag is signaled may be parsed.

For example, the coding unit syntax according to the above-described embodiment may be as shown in the following table.

TABLE 26 Descriptor coding_unit( x0, y0, cbWidth, cbHeight, treeType ) {  if(pps_transquant_bypass_enable_flag)   cu_transquant_bypass_flag ae(v)   if(cu_transquant_bypass_flag)    cu_transquant_bypass_residual_coding_flag  ..... }

Also, for example, a semantic of a syntax element cu_transquant_bypass_residual_coding_flag of the coding unit syntax may be expressed as shown in the following table.

TABLE 27 cu_transquant_bypass_residual_coding_flag equal to 1 specifies that residual_ts_coding( ) is applied when cu_transquant_bypass_flag is 1; equal to 0 specifies that residual_coding( ) is applied when cu_transquant_bypass_flag is 1.

Referring to Table 27, cu_transquant_bypass_residual_coding_flag having a value of 1 may represent that the transform skip residual coding is applied, and cu_transquant_bypass_residual_coding_flag having a value of 0 may represent that the regular residual coding is applied.

In addition, for example, a transform unit syntax in which the cu_transquant_bypass_residual_coding_flag proposed in an embodiment of the present disclosure is considered may be as shown in the following table

TABLE 28 Descriptor   transform_unit( x0, y0, tbWidth, tbHeight, treeType, subTuIndex ) {  ...   if( tu_cbf _luma[ x0 ][ y0 ] ) {    if(cu_transquant_bypass_flag) {     if(cu_transquant_bypass_residual_coding_flag)      residual_ts_coding( x0, y0, Log2( tbWidth ), Log2( tbHeight ), 0 )     else       residual_coding( x0, y0, Log2( tbWidth ), Log2( tbHeight ), 0 ) }     else{      if( !transform_skip_flag[ x0 ][ y0 ] )      residual_coding( x0, y0, Log2( tbWidth ), Log2( tbHeight ), 0 )    else    residual_ts_coding( x0, y0, Log2( tbWidth ), Log2( tbHeight ), 0 )    }   }   if( tu_cbf_cb[ x0 ][ y0 ] )    residual_coding( xC, yC, Log2( wC ), Log2( hC ), 1 )   if( tu_cbf_cr[ x0 ][ y0 ] ) {    if( tu cbf cb[ x0 ][ y0 ] )      tu_joint_cbcr_residual[ x0 ][ y0 ] ae(v)    if( !tu_joint_cbcr_residual[ x0 ][ y0 ] )      residual_coding( xC, yC, Log2( wC ), Log2( hC ), 2 )   }  }

FIG. 12 briefly illustrates an image encoding method performed by an encoding apparatus according to the present disclosure. The method disclosed in FIG. 12 may be performed by the encoding apparatus disclosed in FIG. 2 . Specifically, for example, steps S1200 to S1210 of FIG. 12 may be performed by the entropy encoder of the encoding apparatus. Also, although not illustrated, the process of deriving a prediction sample may be performed by the predictor of the encoding apparatus, the process of deriving a residual sample for the current block based on a prediction sample and an original sample for the current block may be performed by the subtractor of the encoding apparatus, the process of deriving the reconstructed sample for the current block based on the residual sample and the prediction sample for the current block may be performed by the adder of the encoding apparatus, and the encoding of the prediction-related information on the current block may be performed by the entropy encoder of the encoding apparatus.

The encoding apparatus encodes image information (S1200). The encoding apparatus may generate and encode image information. For example, the encoding apparatus may determine whether the transform skip residual coding syntax structure is enable for the current block in the current slice, and may encode the syntax elements of the current block according to the residual coding syntax structure determined based on the result of the determination.

Specifically, for example, the encoding apparatus may determine whether to perform inter prediction or intra prediction on the current block, and may determine the specific inter prediction mode or the specific intra prediction mode based on the RD cost. According to the determined mode, the encoding apparatus may derive the prediction sample for the current block, and may derive the residual sample by subtracting the original sample and the prediction sample for the current block.

Then, for example, the encoding apparatus may derive a residual coefficient of the current block based on the residual sample. For example, the encoding apparatus may determine whether transform is applied to the current block. That is, the encoding apparatus may determine whether transform is applied to the residual sample of the current block. The encoding apparatus may determine whether to apply transform to the current block in consideration of coding efficiency. For example, the encoding apparatus may determine that transform is not applied to the current block. The block to which the transform is not applied may be referred to as a transform skip block.

When the transform is not applied to the current block, that is, when the transform is not applied to the residual sample, the encoding apparatus may derive the derived residual sample as the residual coefficient. Also, when the transform is applied to the current block, that is, when the transform is applied to the residual sample, the encoding apparatus may perform transform on the residual sample to derive the residual coefficient. The residual coefficient may be included in a current sub-block of the current block. The current sub-block may be referred to as a current coefficient croup (CG). In addition, the size of the current sub-block of the current block may be a 4×4 size or a 2×2 size. That is, the current sub-block of the current block may include a maximum of 16 non-zero residual coefficients or a maximum of 4 non-zero residual coefficients.

Thereafter, for example, the encoding apparatus may determine whether a transform skip residual coding syntax structure is enable for the current block in the current slice. For example, the current block may be determined as a transform skip block. For example, the encoding apparatus may determine whether the transform skip residual coding syntax structure is enable for the transform skip block in the current slice.

The encoding apparatus may encode residual information on the residual sample of the current block based on a result of the determination.

For example, when the current block is the transform skip block and the transform skip residual coding syntax structure is not enable for the current block in the current slice (i.e., when it is determined that the transform skip residual coding syntax structure is not enable for the current block in the current slice), the syntax elements according to the regular residual coding syntax structure for the current block may be encoded. For example, based on the current block is the transform skip block and a determination that the transform skip residual coding syntax structure is not enable, the syntax elements according to the regular residual coding syntax structure for the current block are may be encoded. For example, based on the current block is a transform skip block and the determination that the transform skip residual coding syntax structure is not enable, the residual information on the residual sample of the current block may include the syntax elements according to the regular residual coding syntax structure. For example, based on the current block is the transform skip block and a determination that the transform skip residual coding syntax structure is not enable, the syntax elements according to the regular residual coding syntax structure for the current block are may be signaled. For example, the syntax elements according to the regular residual coding syntax structure may be the same as the syntax elements shown in Table 3 or Table 21 described above.

For example, the syntax elements according to the regular residual coding syntax structure may include syntax elements such as last_sig_coeff_x_prefix, last_sig_coeff_y_prefix, last_sig_coeff_x_suffix, last_sig_coeff_y_suffix, coded_sub_block_flag, sig_coeff_flag, abs_level_gt1_flag, par_level_flag, abs_level_gtX_flag, abs_remainder, dec_abs_level, and/or coeff_sign_flag.

Specifically, for example, the syntax elements according to the regular residual coding syntax structure may include position information representing the position of the last non-zero residual coefficient in the residual coefficient array of the current block. That is, the syntax elements according to the regular residual coding syntax structure may include position information representing the position of the last non-zero residual coefficient in the scanning order of the current block. The position information may include information representing the prefix of the column position of the last non-zero residual coefficient, information representing the prefix of the row position of the last non-zero residual coefficient, information representing the suffix of the column position of the last non-zero residual coefficient, and information representing a suffix of a row position of the last non-zero residual coefficient. The syntax elements for the position information may be last_sig_coeff_x_prefix, last_sig_coeff_y_prefix, last_sig_coeff_x_suffix, and last_sig_coeff_y_suffix. Meanwhile, the non-zero residual coefficient may be referred to as a significant coefficient.

Also, for example, the syntax elements according to the regular residual coding syntax structure may include a coded sub-block flag representing whether a current sub-block of the current block includes a non-zero residual coefficient, a significant coefficient flag representing whether the residual coefficient of the current block is a non-zero residual coefficient, a parity level flag for parity of the coefficient level with respect to the residual coefficient, a first coefficient level flag for whether the coefficient level is greater than a first threshold, and a second coefficient level flag for whether the coefficient level of the residual coefficient is greater than a second threshold Here, the coded sub-block flag may be coded_sub_block_flag, the significant coefficient flag may be sig_coeff_flag, the parity level flag may be par_level_flag, the first coefficient level flag may be abs_level_gt1_flag, and the second coefficient level flag may be abs_level_gt3_flag or abs_level_gtx_flag.

Also, for example, the syntax elements according to the regular residual coding syntax structure may include a sign flag representing a sign of the residual coefficient. For example, when the transform is not applied to the current block (i.e., when the value of the transform skip flag is 1), the residual information may include the sign flag.

Also, for example, the syntax elements according to the regular residual coding syntax structure may include coefficient value related information on the residual coefficient value of the current block. The coefficient value related information may be abs_remainder and/or dec_abs_level. Also, as an example, when the transform is applied to the current block (i.e., when the value of the transform skip flag is 0), the bypass-coded syntax element may include the sign flag. That is, when the transform is applied to the current block (that is, when the value of the transform skip flag is 0), the sign flag may be bypass decoded (that is, the sign flag is decoded based on a uniform probability distribution).

Alternatively, when the current block is the transform skip block and the transform skip residual coding syntax structure is enable for the current block in the current slice (i.e., when it is determined that the transform skip residual coding syntax structure is enable for the current block in the current slice), the syntax elements according to the transform skip residual coding syntax structure for the current block may be encoded. For example, the residual information may include syntax elements according to the transform skip residual coding syntax structure for the current block. For example, based on the current block is the transform skip block and a determination that the transform skip residual coding syntax structure is enable, the syntax elements according to the transform skip residual coding syntax structure for the current block may be encoded. As an example, the syntax elements according to the transform skip residual coding syntax structure may be the same as the syntax elements shown in Table 4 or Table 20 described above.

For example, the syntax elements according to the transform skip residual coding syntax structure may include syntax elements (syntax elements) such as coded_sub_block_flag, sig_coeff_flag, coeff_sign_flag, abs_level_gt1_flag, par_level_flag, abs_level_gtX_flag, abs_remainder, and/or coeff_sign_flag.

Specifically, for example, the syntax elements according to the transform skip residual coding syntax structure may include a coded sub-block flag representing whether a current sub-block of the current block includes a non-zero residual coefficient, a significant coefficient flag representing whether the residual coefficient of the current block is a non-zero residual coefficient, a sign flag representing the sign of the residual coefficient, a parity level flag for the parity of the coefficient level with respect to the residual coefficient, a first coefficient level flag for whether the coefficient level is greater than a first threshold, and a second coefficient level flag for whether the coefficient level of the residual coefficient is greater than a second threshold. Here, the coded sub-block flag may be coded_sub_block_flag, the significant coefficient flag may be sig_coeff_flag, the sign flag may be coeff_sign_flag, the parity level flag may be par_level_flag, the first coefficient level flag may be abs_level_gt1_flag, and the second coefficient level flag may be abs_level_gt3_flag or abs_level_gtx_flag.

Also, for example, the syntax elements according to the transform skip residual coding syntax structure may include coefficient value related information on the value of the current residual coefficient and/or a sign flag representing a sign of the residual coefficient. The coefficient value related information may be abs_remainder, and the sign flag may be coeff_sign_flag.

Also, for example, the encoding apparatus may encode a residual coding flag representing whether the transform skip residual coding syntax structure is enable for the current block in the current slice. The encoding apparatus may generate and encode a residual coding flag indicating whether the transform skip residual coding syntax structure is enable for the current slice. For example, the residual coding flag may represent whether the transform skip residual coding syntax structure is enable for the current slice. For example, the residual coding flag may represent whether the transform skip residual coding syntax structure is enable for the current block in the current slice. For example, when the value of the residual coding flag is 1, it may represent that the transform skip residual coding syntax structure is enable for the current block in the current slice, and when the value of the residual coding flag is 0, it may represent that the transform skip residual coding syntax structure is not enable for the current block in the current slice. Alternatively, for example, when the value of the residual coding flag is 1, it may represent that the transform skip residual coding syntax structure is not enable for the current block in the current slice, and when the value of the residual coding flag is 0, it may represent that the transform skip residual coding syntax structure is enable for the current block in the current slice. Also, for example, the residual coding flag may be signaled through a slice header. Alternatively, for example, the residual coding flag may be signaled through a sequence parameter set (SPS), a video parameter set (VPS), or a picture parameter set (PPS). For example, the residual coding flag may represent whether the transform skip residual coding syntax structure is enable for the block related to the signaled syntax. Alternatively, for example, the residual coding flag may be signaled through the coding unit (CU) syntax.

Also, for example, the encoding apparatus may encode prediction mode information representing the prediction mode of the current block. For example, the encoding apparatus may generate and encode prediction-related information on the current block. The prediction-related information may include the prediction mode information.

The encoding apparatus generates a bitstream including the image information (S1210).

For example, the encoding apparatus may output video information including prediction related information, a residual coding flag, and/or residual information as a bitstream. The bitstream may include the prediction mode information, the residual coding flag, and/or the residual information.

Meanwhile, the encoding apparatus may generate and encode the transform skip flag representing whether the transform of residual coefficients of the current block is applied. The image information may include a transform skip flag for the current block. The transform skip flag may represent whether transform is applied to the current block. The transform skip flag may represent whether the transform of residual coefficients of the current block is applied. That is, the transform skip flag may represent whether the transform is applied to the residual coefficients. The syntax element representing the transform skip flag may be the transform_skip_flag described above.

Meanwhile, the image information may include prediction-related information on the current block. The prediction-related information may include prediction mode information on an inter prediction mode or an intra prediction mode performed on the current block

Meanwhile, the bitstream may be transmitted to the decoding apparatus through over a network or a (digital) storage medium. Here, the network may include a broadcasting network and/or a communication network, and the digital storage medium may include various storage media such as USB, SD, CD, DVD, Blu-ray, HDD, SSD, and the like.

FIG. 13 briefly illustrates an encoding apparatus for performing an image encoding method according to the present disclosure. The method disclosed in FIG. 12 may be performed by the encoding apparatus disclosed in FIG. 13 . Specifically, for example, the entropy encoder of the encoding apparatus of FIG. 13 may perform steps S1200 to S1210 of FIG. 12 . Also, although not illustrated, the process of deriving a prediction sample may be performed by the predictor of the encoding apparatus, the process of deriving a residual sample for the current block based on a prediction sample and an original sample for the current block may be performed by the subtractor of the encoding apparatus, the process of deriving the reconstructed sample for the current block based on the residual sample and the prediction sample for the current block may be performed by the adder of the encoding apparatus, and the encoding of the prediction-related information on the current block may be performed by the entropy encoder of the encoding apparatus.

FIG. 14 briefly illustrates an image decoding method performed by a decoding apparatus according to the present disclosure. The method disclosed in FIG. 14 may be performed by the decoding apparatus disclosed in FIG. 3 . Specifically, for example, S1400 of FIG. 14 may be performed by the entropy decoder of the decoding apparatus, and S1410 of FIG. 14 may be performed by the residual processor of the decoding apparatus. Also, although not illustrated, the process of receiving prediction-related information on the current block may be performed by the entropy decoder of the decoding apparatus, and the process of deriving the prediction sample of the current block may be performed by the predictor of the decoding apparatus, and the process of deriving a reconstructed picture based on the prediction sample and the residual sample of the current block may be performed by the adder.

The decoding apparatus encodes image information (S1400). The decoding apparatus may obtain image information through a bitstream.

For example, the decoding apparatus may obtain image information including prediction mode information, a residual coding flag, and/or residual information through the bitstream. For example, the image information may include prediction mode information on the current block. For example, the image information may include prediction-related information on the current block, and the prediction-related information may include the prediction mode information. The prediction mode information may represent whether the inter prediction or intra prediction is applied to the current block.

Also, for example, the image information may include the residual coding flag representing whether the transform skip residual coding syntax structure is enable. For example, the decoding apparatus may obtain the residual coding flag, and may obtain syntax elements of the current block according to the residual coding syntax structure determined based on the residual coding flag. For example, the residual coding flag may represent whether the transform skip residual coding syntax structure is enable. In addition, for example, the residual coding flag may represent whether the transform skip residual coding syntax structure is enable for the current slice. In addition, for example, the residual coding flag may represent whether the transform skip residual coding syntax structure is enable for the current block in the current slice. Here, the current slice may represent a slice including the current block, and the current block may be a coding block (CB) or a transform block (TB). Also, the current block may be a transform skip block. The syntax element representing the residual coding flag may be sps_transquant_bypass_enabled_flag, sps_transquant_bypass_enabled_flag, slice_transquant_bypass_enabled_flag, sps_transquant_bypass_residual_coding_flag, pps_transquant_coding_bypass_residual_coding_flag or slice_residual_quant_bypass_residual_coding_flag which are described above. For example, when the value of the residual coding flag is 1, it may represent that the transform skip residual coding syntax structure is enable for the current block in the current slice, and when the value of the residual coding flag is 0, it may represent that the transform skip residual coding syntax structure is not enable for the current block in the current slice. Alternatively, for example, when the value of the residual coding flag is 1, it may represent that the transform skip residual coding syntax structure is not enable for the current block in the current slice, and when the value of the residual coding flag is 0, it may represent that the transform skip residual coding syntax structure is enable for the current block in the current slice. Also, for example, the residual coding flag may be obtained through the slice header. Alternatively, for example, the residual coding flag may be obtained through a sequence parameter set (SPS), a video parameter set (VPS), or a picture parameter set (PPS). Alternatively, for example, the residual coding flag may be obtained through the coding unit (CU) syntax.

Also, for example, the image information may include the transform skip flag for the current block. For example, the transform skip flag may represent whether the transform is applied to the current block. That is, for example, the transform skip flag may represent whether the current block is the transform skip block. For example, when the value of the transform skip flag is 1, the transform skip flag may represent that the transform is applied to the current block, that is, that the current block is the transform skip block, and when the value of the transform skip flag is 0, the transform skip flag may represent that the transform is not applied to the current block, that is, the current block is not a transform skip block. The syntax element representing the transform skip flag may be the transform_skip_flag described above.

In addition, for example, the decoding apparatus may obtain the residual coding flag, and may obtain syntax elements of the current block according to the residual coding syntax structure determined based on the residual coding flag. Specifically, for example, the decoding apparatus may determine whether the transform skip residual coding syntax structure is enable for the current block based on the residual coding flag. For example, the residual coding flag may represent whether the transform skip residual coding syntax structure is enable for the current block in the current slice. When the residual coding flag represents that the transform skip residual coding syntax structure is enable for the current block in the current slice, the decoding apparatus may determine that the transform skip residual coding syntax structure is enable for the current block in the current slice. When the residual coding flag represents that the transform skip residual coding syntax structure is not enable for the current block in the current slice, the decoding apparatus may determine that the transform skip residual coding syntax structure is not enable for the current block in the current slice.

Thereafter, the decoding apparatus may obtain syntax elements for the current block according to the determination result determined based on the residual coding flag. The image information may include the residual information on the current block. The residual information may include the syntax elements of the current block according to the residual coding syntax structure determined based on the residual coding flag.

For example, when the current block is the transform skip block, and the residual coding flag represents that the transform skip residual coding syntax structure is not enable for the current block in the current slice (that is, when it is determined that the transform skip residual coding syntax structure is not enable for the current block in the current slice based on the residual coding flag), the syntax elements according to the regular residual coding syntax structure for the current block may be obtained. That is, the residual information may include the syntax elements according to the regular residual coding syntax structure for the current block. In other words, for example, based on the residual coding flag representing that the transform skip residual coding syntax structure is not enable, the syntax elements according to the regular residual coding syntax structure for the current block may be obtained. For example, the syntax elements according to the regular residual coding syntax structure may be the same as the syntax elements shown in Table 3 or Table 21 described above.

For example, the syntax elements according to the regular residual coding syntax structure may include syntax elements such as last_sig_coeff_x_prefix, last_sig_coeff_y_prefix, last_sig_coeff_x_suffix, last_sig_coeff_y_suffix, coded_sub_block_flag, sig_coeff_flag, abs_level_gt1_flag, par_level_flag, abs_level_gtX_flag, abs_remainder, dec_abs_level, and/or coeff_sign_flag.

Specifically, for example, the syntax elements according to the regular residual coding syntax structure may include position information representing the position of the last non-zero residual coefficient in the residual coefficient array of the current block. That is, the syntax elements according to the regular residual coding syntax structure may include position information representing the position of the last non-zero residual coefficient in the scanning order of the current block. The position information may include information representing the prefix of the column position of the last non-zero residual coefficient, information representing the prefix of the row position of the last non-zero residual coefficient, information representing the suffix of the column position of the last non-zero residual coefficient, and information representing a suffix of a row position of the last non-zero residual coefficient. The syntax elements for the position information may be last_sig_coeff_x_prefix, last_sig_coeff_y_prefix, last_sig_coeff_x_suffix, and last_sig_coeff_y_suffix. Meanwhile, the non-zero residual coefficient may be referred to as a significant coefficient.

Also, for example, the syntax elements according to the regular residual coding syntax structure may include a coded sub-block flag representing whether a current sub-block of the current block includes a non-zero residual coefficient, a significant coefficient flag representing whether the residual coefficient of the current block is a non-zero residual coefficient, a parity level flag for parity of the coefficient level with respect to the residual coefficient, a first coefficient level flag for whether the coefficient level is greater than a first threshold, and a second coefficient level flag for whether the coefficient level of the residual coefficient is greater than a second threshold Here, the coded sub-block flag may be coded_sub_block_flag, the significant coefficient flag may be sig_coeff_flag, the parity level flag may be par_level_flag, the first coefficient level flag may be abs_level_gt1_flag, and the second coefficient level flag may be abs_level_gt3_flag or abs_level_gtx_flag.

Also, for example, the syntax elements according to the regular residual coding syntax structure may include a sign flag indicating a sign of the residual coefficient. For example, when the transform is not applied to the current block (i.e., when the value of the transform skip flag is 1), the residual information may include the sign flag.

Also, for example, the syntax elements according to the regular residual coding syntax structure may include coefficient value related information on the residual coefficient value of the current block. The coefficient value related information may be abs_remainder and/or dec_abs_level. Also, as an example, when the transform is applied to the current block (i.e., when the value of the transform skip flag is 0), the bypass-coded syntax element may include the sign flag. That is, when the transform is applied to the current block (that is, when the value of the transform skip flag is 0), the sign flag may be bypass decoded (that is, the sign flag is decoded based on a uniform probability distribution).

For example, when the current block is the transform skip block, and the residual coding flag represents that the transform skip residual coding syntax structure is enable for the current block in the current slice (that is, when it is determined that the transform skip residual coding syntax structure is enable for the current block in the current slice based on the residual coding flag), the syntax elements according to the transform skip residual coding syntax structure for the current block may be obtained. That is, the residual information may include syntax elements according to the transform skip residual coding syntax structure for the current block. In other words, for example, based on the residual coding flag representing that the transform skip residual coding syntax structure is enable, the syntax elements according to the transform skip residual coding syntax structure for the current block may be obtained. As an example, the syntax elements according to the transform skip residual coding syntax structure may be the same as the syntax elements shown in Table 4 or Table 20 described above.

For example, the syntax elements according to the transform skip residual coding syntax structure may include syntax elements such as coded_sub_block_flag, sig_coeff_flag, coeff_sign_flag, abs_level_gt1_flag, par_level_flag, abs_level_gtX_flag, abs_remainder, and/or coeff_sign_flag.

Specifically, for example, the syntax elements according to the transform skip residual coding syntax structure may include a coded sub-block flag representing whether a current sub-block of the current block includes a non-zero residual coefficient, a significant coefficient flag representing whether the residual coefficient of the current block is a non-zero residual coefficient, a sign flag representing the sign of the residual coefficient, a parity level flag for the parity of the coefficient level with respect to the residual coefficient, a first coefficient level flag for whether the coefficient level is greater than a first threshold, and a second coefficient level flag for whether the coefficient level of the residual coefficient is greater than a second threshold. Here, the coded sub-block flag may be coded_sub_block_flag, the significant coefficient flag may be sig_coeff_flag, the sign flag may be coeff_sign_flag, the parity level flag may be par_level_flag, the first coefficient level flag may be abs_level_gt1_flag, and the second coefficient level flag may be abs_level_gt3_flag or abs_level_gtx_flag.

Also, for example, the syntax elements according to the transform skip residual coding syntax structure may include coefficient value related information on the value of the current residual coefficient and/or a sign flag representing a sign of the residual coefficient. The coefficient value related information may be abs_remainder, and the sign flag may be coeff_sign_flag.

The decoding apparatus generates a reconstructed picture based on the image information (S1410).

For example, the decoding apparatus may derive the residual sample of the current block based on the syntax elements of the current block, and may generate the reconstructed picture based on the residual sample.

Specifically, for example, the decoding apparatus may derive the magnitude (i.e., level value) of the residual coefficient of the current block based on the obtained syntax elements (e.g., magnitude-related information about the current residual coefficient), and derive the residual coefficient of the current block may derive the residual coefficient from the sign of the residual coefficient derived based on the sign flag and the magnitude of the residual coefficient. That is, the decoding apparatus may derive the residual coefficient of the current block based on the residual information included in the image information.

The decoding apparatus may derive the residual sample based on the residual coefficient. As an example, when it is derived that the transform is not applied to the current block based on the transform skip flag (when the current block is the transform skip block), that is, when the value of the transform skip flag is 1, the decoding apparatus may derive the residual coefficient as the residual sample of the current block. Alternatively, as an example, when it is derived that the transform is not applied to the current block based on the transform skip flag (when the current block is the transform skip block), that is, when the value of the transform skip flag is 1, the decoding apparatus may dequantize the residual coefficient to derive the residual sample of the current block. Alternatively, as an example, when it is derived that the transform is applied to the current block based on the transform skip flag (when the current block is not the transform skip block), that is, when the value of the transform skip flag is 0, the decoding apparatus may dequantize the residual coefficient to derive the residual sample of the current block. Alternatively, as an example, when it is derived that the transform is applied to the current block based on the transform skip flag (when the current block is not the transform skip block), that is, when the value of the transform skip flag is 0, the decoding apparatus may dequantize the residual coefficient and inverse transform the dequantized coefficient to the residual sample of the current block.

The decoding apparatus may generate a reconstructed block or a reconstructed picture based on the residual sample. For example, the decoding apparatus may derive the prediction sample by performing the inter prediction mode or the intra prediction mode on the current block based on prediction-related information received through a bitstream, and may generate the reconstructed picture through the addition of the prediction sample and the residual sample.

Specifically, for example, the decoding apparatus may derive the prediction samples of the current block based on the prediction-related information (e.g., prediction mode information) included in the image information. The decoding apparatus may determine whether the inter prediction or intra prediction is applied to the current block based on the prediction mode information, and may perform the prediction based thereon.

For example, the decoding apparatus may perform the inter prediction or the intra prediction on the current block based on the prediction mode information and may derive the prediction sample of the current block. As an example, the decoding apparatus may derive the prediction mode applied to the current block based on the prediction mode information. For example, when the inter prediction is applied to the current block, the decoding apparatus may derive the motion information of the current block based on the prediction-related information included in the image information, and may derive the prediction sample of the current block based on the motion information. Also, for example, when the intra prediction is applied to the current block, the decoding apparatus may derive a reference sample based on a neighboring sample of the current block, and derive the prediction sample of the current block based on the reference sample and an intra prediction mode of the current block. The decoding apparatus may generate the reconstructed picture through the addition of the prediction sample and the residual sample.

Thereafter, optionally, an in-loop filtering procedure such as deblocking filtering, SAO, and/or ALF procedures may be applied to the reconstructed picture as described above in order to improve subjective/objective picture quality.

FIG. 15 briefly illustrates a decoding apparatus for performing an image decoding method according to the present disclosure. The method disclosed in FIG. 14 may be performed by the decoding apparatus disclosed in FIG. 15 . Specifically, for example, the entropy decoder of the decoding apparatus of FIG. 15 may perform S1400 of FIG. 14 , and the residual processor of the decoding apparatus of FIG. 15 may perform S1410. Also, although not illustrated, the process of receiving prediction-related information on the current block may be performed by the entropy decoder of the decoding apparatus, and the process of deriving the prediction sample of the current block may be performed by the predictor of the decoding apparatus, and the process of deriving a reconstructed picture based on the prediction sample and the residual sample of the current block may be performed by the adder.

According to the present disclosure described above, it is possible to increase the efficiency of the residual coding.

In addition, according to the present disclosure, it is possible determine a residual coding method of the residual information based on a flag explicitly indicting whether the residual information is lossless coding, derive a residual sample by selecting a residual coding method having better efficiency while reducing coding efficiency and complexity, and improve overall residual coding efficiency.

In addition, according to the present disclosure, it is possible to parse residual syntax elements for the transform skip block based on a flag explicitly indicating the residual coding method for the transform skip block and reduce the coding efficiency and complexity of the residual coding.

In the above-described embodiment, the methods are described based on the flowchart having a series of steps or blocks. The present disclosure is not limited to the order of the above steps or blocks. Some steps or blocks may occur simultaneously or in a different order from other steps or blocks as described above. Further, those skilled in the art will understand that the steps shown in the above flowchart are not exclusive, that further steps may be included, or that one or more steps in the flowchart may be deleted without affecting the scope of the present disclosure.

The embodiments described in this specification may be performed by being implemented on a processor, a microprocessor, a controller or a chip. For example, the functional units shown in each drawing may be performed by being implemented on a computer, a processor, a microprocessor, a controller or a chip. In this case, information for implementation (e.g., information on instructions) or algorithm may be stored in a digital storage medium.

In addition, the decoding apparatus and the encoding apparatus to which the present disclosure is applied may be included in a multimedia broadcasting transmission/reception apparatus, a mobile communication terminal, a home cinema video apparatus, a digital cinema video apparatus, a surveillance camera, a video chatting apparatus, a real-time communication apparatus such as video communication, a mobile streaming apparatus, a storage medium, a camcorder, a VoD service providing apparatus, an Over the top (OTT) video apparatus, an Internet streaming service providing apparatus, a three-dimensional (3D) video apparatus, a teleconference video apparatus, a transportation user equipment (e.g., vehicle user equipment, an airplane user equipment, a ship user equipment, etc.) and a medical video apparatus and may be used to process video signals and data signals. For example, the Over the top (OTT) video apparatus may include a game console, a blue-ray player, an internet access TV, a home theater system, a smart phone, a tablet PC, a Digital Video Recorder (DVR), and the like.

Furthermore, the processing method to which the present disclosure is applied may be produced in the form of a program that is to be executed by a computer and may be stored in a computer-readable recording medium. Multimedia data having a data structure according to the present disclosure may also be stored in computer-readable recording media. The computer-readable recording media include all types of storage devices in which data readable by a computer system is stored. The computer-readable recording media may include a BD, a Universal Serial Bus (USB), ROM, PROM, EPROM, EEPROM, RAM, CD-ROM, a magnetic tape, a floppy disk, and an optical data storage device, for example. Furthermore, the computer-readable recording media includes media implemented in the form of carrier waves (e.g., transmission through the Internet). In addition, a bit stream generated by the encoding method may be stored in a computer-readable recording medium or may be transmitted over wired/wireless communication networks.

In addition, the embodiments of the present disclosure may be implemented with a computer program product according to program codes, and the program codes may be performed in a computer by the embodiments of the present disclosure. The program codes may be stored on a carrier which is readable by a computer.

FIG. 16 illustrates a structural diagram of a contents streaming system to which the present disclosure is applied.

The content streaming system to which the embodiment(s) of the present disclosure is applied may largely include an encoding server, a streaming server, a web server, a media storage, a user device, and a multimedia input device.

The encoding server compresses content input from multimedia input devices such as a smartphone, a camera, a camcorder, etc. Into digital data to generate a bitstream and transmit the bitstream to the streaming server. As another example, when the multimedia input devices such as smartphones, cameras, camcorders, etc. directly generate a bitstream, the encoding server may be omitted.

The bitstream may be generated by an encoding method or a bitstream generating method to which the embodiment(s) of the present disclosure is applied, and the streaming server may temporarily store the bitstream in the process of transmitting or receiving the bitstream.

The streaming server transmits the multimedia data to the user device based on a user's request through the web server, and the web server serves as a medium for informing the user of a service. When the user requests a desired service from the web server, the web server delivers it to a streaming server, and the streaming server transmits multimedia data to the user. In this case, the content streaming system may include a separate control server. In this case, the control server serves to control a command/response between devices in the content streaming system.

The streaming server may receive content from a media storage and/or an encoding server. For example, when the content is received from the encoding server, the content may be received in real time. In this case, in order to provide a smooth streaming service, the streaming server may store the bitstream for a predetermined time.

Examples of the user device may include a mobile phone, a smartphone, a laptop computer, a digital broadcasting terminal, a personal digital assistant (PDA), a portable multimedia player (PMP), navigation, a slate PC, tablet PCs, ultrabooks, wearable devices (ex. Smartwatches, smart glasses, head mounted displays), digital TVs, desktops computer, digital signage, and the like. Each server in the content streaming system may be operated as a distributed server, in which case data received from each server may be distributed.

The claims described in the present disclosure may be combined in various ways. For example, the technical features of the method claims of the present disclosure may be combined to be implemented as an apparatus, and the technical features of the apparatus claims of the present disclosure may be combined to be implemented as a method. In addition, the technical features of the method claim of the present disclosure and the technical features of the apparatus claim may be combined to be implemented as an apparatus, and the technical features of the method claim of the present disclosure and the technical features of the apparatus claim may be combined to be implemented as a method. 

1-15. (canceled)
 16. A decoding apparatus for image decoding, the decoding apparatus comprising: a memory; and at least one processor connected to the memory, the at least one processor configured to: obtain image information; and generate a reconstructed picture based on the image information, wherein the obtaining the image information comprises: obtaining a residual coding flag; and obtaining syntax elements of a current block according to a residual coding syntax structure determined based on the residual coding flag, wherein the current block is a transform skip block, wherein syntax elements according to a regular residual coding syntax structure for the current block are obtained based on the residual coding flag representing that a transform skip residual coding syntax structure is not enabled, wherein the syntax elements according to the regular residual coding syntax structure include position information on a position of a last non-zero residual coefficient in a residual coefficient array of the current block.
 17. An encoding apparatus for image encoding, the encoding apparatus comprising: a memory; and at least one processor connected to the memory, the at least one processor configured to: encode image information; and generate a bitstream including the image information, wherein the encoding the image information comprises: determining whether a transform skip residual coding syntax structure is enabled for a current block in a current slice; encoding syntax elements of the current block according to a residual coding syntax structure determined based on a result of the determination; and encoding a residual coding flag for whether the transform skip residual coding syntax structure is enabled for the current block in the current slice, wherein the current block is a transform skip block, wherein syntax elements according to a regular residual coding syntax structure for the current block are encoded based on a determination that the transform skip residual coding syntax structure is not enabled, wherein the syntax elements according to the regular residual coding syntax structure include position information on a position of a last non-zero residual coefficient in a residual coefficient array of the current block.
 18. An apparatus for transmitting data for image, the apparatus comprising: at least one processor configured to obtain a bitstream of video information including merge motion vector offset precision information related to whether a merge motion vector offset has a fractional pixel precision and residual information for a residual block of the current block, wherein the merge motion vector offset precision information is included in a picture parameter set of the video information; and a transmitter configured to transmit the data including the bitstream of the video information including the merge motion vector offset precision information and the residual information, wherein a prediction block of the current block is derived by determining an inter prediction mode of the current block as a merge mode among the merge mode and a Motion Vector Prediction (MVP) mode, configuring a merge candidate list based on motion information of a spatial candidate and a temporal candidate for the current block in the merge mode, determining a merge candidate used to derive a refined merge candidate based on the merge motion vector offset, wherein a merge candidate on 0th position of the merge candidate list is determined as the merge candidate used to derive a refined merge candidate based on the merge motion vector offset, deriving motion information of the refined merge candidate based on a sum of the merge motion vector offset and a motion vector of the determined merge candidate, and the merge motion vector offset precision information, wherein a merge candidate generated based on an average of a pair of predefined candidates is added in the merge candidate list after configuring the merge candidate list including the spatial candidate and the temporal candidate, wherein the pair of predefined candidates is a pair of a candidate on the 0th position and a candidate on 1st position of the merge candidate list, and wherein the merge motion vector offset is derived based on a value acquired by multiplying a merge motion vector offset precision by a non-zero integer. 